![]() | ![]() |
| 1982 | ||
|---|---|---|
| 2 | K. M. Hörnig, Wolfgang Bibel: Improvements of a Tautology-Testing Algorithm. CADE 1982: 326-341 | |
| 1981 | ||
| 1 | K. M. Hörnig: Generating small Models of First Order Axioms. GWAI 1981: 248-255 | |
| 1 | Wolfgang Bibel | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page