@doctoralThesis{Jacobs_2009,
title={Hierarchic decision procedures for verification},
author={Jacobs, Swen},
doi={http://dx.doi.org/10.22028/D291-25960},
year={2009}
}