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

Cached

Download Links

by Andrew W. Appel , Amy P. Felty