## Spiro Michaylov, Bill Pippin

*Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs*

ICLP, 1994.

@inproceedings{ILPS-1994-MichaylovP, author = "Spiro Michaylov and Bill Pippin", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-52191-1", pages = "586--600", publisher = "{MIT Press}", title = "{Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs}", year = 1994, }