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