Christian Holzbaur, Thom W. Frühwirth
Compiling Constraint Handling Rules into Prolog with Attributed Variables
PPDP, 1999.
@inproceedings{PPDP-1999-HolzbaurF,
author = "Christian Holzbaur and Thom W. Frühwirth",
booktitle = "{Proceedings of the First International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1007/10704567_7",
isbn = "3-540-66540-4",
pages = "117--133",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Compiling Constraint Handling Rules into Prolog with Attributed Variables}",
volume = 1702,
year = 1999,
}











