TY - BOOK AU - Proceedings of ACM symposium on theory of computing(4th TI - Theory of computing: Proceedings U1 - 001.6406 PY - 1972/// CY - New York PB - ACM ER -