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