Lightweight Lemmas in lambda-Prolog.

Andrew W. Appel, Amy P. Felty

Browse the full ICLP paper archive.