Vol. 718. Ferrante, Jeanne; Rackoff, Charles, W. 
The computational complexity of logical theories 
QA9.35 F47