Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
- 1 January 2000
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 25 (1) , 35-82
- https://doi.org/10.1023/a:1006291616338
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: