Login / Signup

Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)

Gopalan NadathurDonald W. Loveland
Published in: LICS (1995)
Keyphrases