@doctoralThesis{Kuhtz_2010,
title={Model checking finite paths and trees},
author={Kuhtz, Lars},
doi={http://dx.doi.org/10.22028/D291-26025},
year={2010}
}