Machine Program for Theorem-ProvingMartin Davis, George Logemann, Donald Loveland · First published 2018Open the Tome
Three Views of LogicDonald W. Loveland, Richard E. Hodel, S G Sterrett · First published 2014Open the Tome
