Testclasses and Closed World Assumptions for Non-Horn Theories. - Jürgen Gehne (Nonclassical Logics and Information Processing, 1990)

Integration of Automated and Interactive Theorem Proving in ILP. - Bernd I. Dahn; Jürgen Gehne; Th. Honigmann; Andreas Wolf (CADE, 1997)