CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms.

Yves Caseau, Franois-Xavier Josset, Franois Laburthe

Browse the full ICLP paper archive.