CLAIRE: Combining sets, search and rules to better express algorithms.

Yves Caseau François-Xavier Josset François Laburthe CLAIRE: Combining sets, search and rules to better express algorithms. 769-805 2002 2 TPLP 6 db/journals/tplp/tplp2.html#CaseauJL02