M. Triska: "Correctness Considerations in CLP(FD) Systems"; Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 2014-01-29.
http://publik.tuwien.ac.at/files/PubDat_237112.pdf