Lightweight lemmas in λProlog (1999)

by A W Appel, A P Felty
Venue:In International Conference on Logic Programming