A Blackboard Architecture for Guiding Interactive Proofs (1998)

by Christoph Benzmüller, Volker Sorge
Venue:Proceedings of AIMSA’98, number 1480 in LNAI