Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
Information Processing Letters - Netherlands
doi 10.1016/j.ipl.2005.02.003
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 2005
Authors
Publisher
Elsevier BV