Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Barth, P. (1995). Logic-based 0-1 Constraint Solving in Constraint Logic Programming. PhD Thesis, Universität des Saarlandes, Saarbrücken.