Introducing iteration into the Pure lisp theorem prover (1975)

by J S Moore
Venue:IEEE Transactions on Software Engineering