Employing External Reasoners in Proof Planning (1999)

Cached

Download Links

by Erica Melis , Volker Sorge
Venue:In CALCULEMUS 99, Electronic Notes in Theoretical Computer Science
Citations:5 - 4 self