Yves Caseau, François-Xavier Josset, François Laburthe
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
ICLP, 1999.
@inproceedings{ICLP-1999-CaseauJL,
author = "Yves Caseau and François-Xavier Josset and François Laburthe",
booktitle = "{Proceedings of the 15th International Conference on Logic Programming}",
isbn = "0-262-54104-1",
pages = "245--259",
publisher = "{MIT Press}",
title = "{CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms}",
year = 1999,
}