Cited publications in Journal of the ACM (JACM):Two-Tape Simulation of Multitape Turing Machines (1966)Many hard examples for resolution (1988)Cryptographic limitations on learning Boolean formulae and finite automata (1994)