A user lems,” Complexity of Computer Computations (1972)

by A Evans, W Kantrowitz, E Weiss
Venue:Communication of the ACM