uniform proofs as a foundation for logic programming (1991)

by D Miller, G Nadathur, F Pfenning, A Scedrov
Venue:Annals of Pure and Applied Logic