Benzmüller, Sorge, 1998. A blackboard architecture for guiding interactive proofs, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/bfb0057438