Uniform proof systems as a foundation for logic programming (1989)

by Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
Venue:the Annals of Pure and Applied Logic