Constraint logic programming : selected research / - Benhamou, Frédéric.; Colmerauer, A. (MIT Press, 1993)