Integration of Automated and Interactive Theorem Proving in ILP.

Bernd I. Dahn, Jrgen Gehne, Th. Honigmann, Andreas Wolf

Browse the full CADE paper archive.