=ADD=

=author=
Freuder; Eugene C. + Mackworth; Alan K.
=title=
Constraint-Based Reasoning
=year=
1992
=publisher=
MIT / Elsevier
=series=
Special Issues of Artificial Intelligence
=note=
Special Issue of Artificial Intelligence 58
=owner=
2
=reftype=
15
=source=
3

=ADD=

=author=
Van Henteryck; Pascal + Michel; Laurent + Deville; Yves
=title=
Numerica: A Modelling Language for Global Optimization
=year=
1997
=publisher=
MIT Press
=owner=
2
=reftype=
1
=source=
3

=ADD=

=author=
Benhamou; Frederic + Colmerauer; Alain
=title=
Constraint Logic Programming: Selected Research
=year=
1993
=publisher=
MIT Press
=series=
Logic Programming
=note=
Selected papers from WCLP'91 (International Workshop on Logic Programming,
Marseilles, January 1991) and additional papers
=owner=
2
=reftype=
15
=source=
3

=ADD=

=author=
Saraswat; Vijay + Van Henteryck; Pascal
=title=
Principles and Practice of Logic Programming: The Newport Papers
=year=
1995
=publisher=
MIT Press
=owner=
2
=reftype=
15
=source=
3