DMCA

Lightweight Lemmas in λProlog (Extended Version) (1999)

by Andrew W. Appel , Amy P. Felty