@doctoralThesis{Schulte_2000, title={Programming constraint services}, author={Schulte, Christian}, doi={http://dx.doi.org/10.22028/D291-25741}, subtitle={Programmierung von Constraintdiensten}, year={2000} }