A.: Uniform proofs as a foundation for logic programming (1991)

by D Miller, G Nadathur, F Pfenning, Scedrov
Venue:Ann. Pure Appl. Logic 51(1-2