Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov Uniform Proofs as a Foundation for Logic Programming. 125-157 1991 51 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal51.html#MillerNPS91