Heterogeneous constraint solving. (1996)

by F Benhamou
Venue:In Proc. of Int. Conf. on Algebraic and Logic Programming (ALP),