Slim Abdennadher, Christophe Rigotti
Using Confluence to Generate Rule-Based Constraint Solvers
PPDP, 2001.
@inproceedings{PPDP-2001-AbdennadherR,
author = "Slim Abdennadher and Christophe Rigotti",
booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}",
isbn = "1-58113-388-X",
pages = "127--135",
publisher = "{ACM}",
title = "{Using Confluence to Generate Rule-Based Constraint Solvers}",
year = 2001,
}