Generating small Models of First Order Axioms. - K. M. Hörnig (GWAI, 1981)

Improvements of a Tautology-Testing Algorithm. - K. M. Hörnig; Wolfgang Bibel (CADE, 1982)