“…Association for Computing Machinery. Special Interest Group on Logic and Computation…”

“…Association for Computing Machinery. Special Interest Group on Logic and Computation, sponsoring body…”