Logic-based 0-1 constraint programming - Barth, Peter, Ph.D. (Kluwer Academic Publishers, 1996)