Caseau, Y.; Josset, F.-X.; Laburthe, F. "CLAIRE : Combining Sets, Search and Rules to Better Express Algorithms"

(1999) ICLP 1999  

Languages mentioned CLAIRE {1996}