Boolean pseudo-equations in constraint logic programming (1993)

by F Benhamou, J-L Massat
Venue:In ICLP'93: 10th International Conference on Logic Programming