Caseau, Yves; Josset, François-Xavier; Laburthe, François "CLAIRE: Combining sets, search and rules to better express algorithms" pp769-805

(2002) Theory and Practice of Logic Programming (TPLP) 2(6)  

Languages mentioned CLAIRE {1996}