Employing External Reasoners in Proof Planning (1999)

by E Melis, V Sorge
Venue:In CALCULEMUS 99, Electronic Notes in Theoretical Computer Science