A blackboard architecture for guiding interactive proofs (1998)

by Christoph Benzmüller, Volker Sorge
Venue:Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’98), number 1480 in LNAI