Artifact Details Title Introducing iteration into the pure lisp theorem prover Catalog Number 102653436 Type Document Date 1974-12 Author Moore, J. Strother Publisher Xerox PARC (Palo Alto Research Center) Category Technical Report Credit Gift of Mike Rutenberg Lot Number X2295.2002