Volker Sorge: Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. Saarland University, Saarbrücken, Germany 2001, 1-197