@doctoralThesis{Thiel_2004,
title={Efficient algorithms for constraint propagation and for processing tree descriptions},
author={Thiel, Sven},
doi={http://dx.doi.org/10.22028/D291-23755},
year={2004}
}