A `C' library of constraint satisfaction techniques (1994)

by D Manchak, P van Beek