François Laburthe, Yves Caseau: SALSA: A Language for Search Algorithms. CP 1998: 310-324