@doctoralThesis{Dietrich_2011,
title={Assertion level proof planning with compiled strategies},
author={Dietrich, Dominik},
isbn={978-3-86376-019-9},
doi={http://dx.doi.org/10.22028/D291-26394},
year={2011}
}