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, }