@doctoralThesis{Sorge_2001,
title={Omega-ants: A blackboard architecture for the integration of reasoning techniques into proof planning},
author={Sorge, Volker},
doi={http://dx.doi.org/10.22028/D291-25745},
year={2001}
}