Volume 25, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 25, Issue 1

July 2000

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution
Bruce Spencer
J. D. Horton
OriginalPaper Pages: 1 - 34
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
François Bry
Adnan Yahya
OriginalPaper Pages: 35 - 82