Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A. (1995). Solving pseudo-Boolean constraints. In A. Podelski (Ed.), Constraint Programming: Basics and Trends (pp. 22-38). Berlin, Germany: Springer.