A.: Uniform Proofs as a Foundation for Logic Programming, (1991)

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