Authors: Michael A. Harrison, Ranan B. Banerji, Jeffrey D. Ullman - ACM Symposium on Theory of Computing, STOC 1971 cited by 38