Uniform proofs as a foundation for logic programming (1991)

by Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
Venue:MP02] [MP04] Dale Miller and Elaine