Uniform proofs as a foundation for logic programming (1991)

by Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
Venue:Annals of Pure and Applied Logic