A Blackboard Architecture for Guiding Interactive Proofs.

Christoph Benzmller, Volker Sorge

Browse the full AIMSA paper archive.