Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)

Gopalan Nadathur, Donald W. Loveland

Browse the full LICS paper archive.