@PhDThesis{Schulte:PhD:2000,
   Author =    "Christian Schulte",
   Title =     "Programming Constraint Services",
   Type =      "Doctoral Dissertation",
   School =    "Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik",
   Address =   "Saarbrücken, Germany",
   Year =      2000,
   URL =       "https://chschulte.github.io/papers/schulte-phd-2000.html"
}