Renaud De Landtsheer. Solving CSP Including a Universal Quantification. In Peter Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Volume 3389 of Lecture Notes in Computer Science, pages 200-210, Springer, 2004. [doi]
@inproceedings{Landtsheer04,
title = {Solving CSP Including a Universal Quantification},
author = {Renaud De Landtsheer},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3389&spage=200},
researchr = {https://researchr.org/publication/Landtsheer04},
cites = {0},
citedby = {0},
pages = {200-210},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers},
editor = {Peter Van Roy},
volume = {3389},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25079-4},
}