Spiro Michaylov. Repeated Redundant Inequalities in Constraint Logic Programming. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 154-169, Springer, 1994.
@inproceedings{Michaylov94:0,
title = {Repeated Redundant Inequalities in Constraint Logic Programming},
author = {Spiro Michaylov},
year = {1994},
tags = {constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Michaylov94%3A0},
cites = {0},
citedby = {0},
pages = {154-169},
booktitle = {Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994},
editor = {Jean-Pierre Jouannaud},
volume = {845},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58403-X},
}