A Blackboard Architecture for Guiding Interactive Proofs (1998)

by C Benzmüller, V Sorge
Venue:In: Proc. of AIMSA’98. Vol. 1480 of LNAI