PB-277 Literal Resolution: A Simple Proof of Resolution Completeness
DAIMI Report Series
doi 10.7146/dpb.v18i277.6654
Full Text
Open PDFAbstract
Available in full text
Date
January 4, 1989
Authors
Publisher
Aarhus University Library
Available in full text
January 4, 1989
Aarhus University Library