@doctoralThesis{Meier_2004, title={Proof planning with multiple strategies}, author={Meier, Andreas}, doi={http://dx.doi.org/10.22028/D291-25906}, year={2004} }