François Laburthe Yves Caseau SALSA: A Language for Search Algorithms. 255-288 2002 7 Constraints 3-4 db/journals/constraints/constraints7.html#LaburtheC02