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

Theory and Practice of Logic Programming, Cambridge University Press, Cambridge,UK  

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