Linear and Unit-Resulting Refutations for Horn Theories
Journal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
Erscheinungsjahr: 1996
ISBN/ISSN: 0168-7433
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
