A simple and efficient Boolean solver for constraint logic programming
scientific article; zbMATH DE number 1019906