Antonio J. Fernández, Patricia M. Hill
An Interval Lattice-Based Constraint Solving Framework for Lattices
FLOPS, 1999.
@inproceedings{FLOPS-1999-FernandezH, author = "Antonio J. Fernández and Patricia M. Hill", booktitle = "{Proceedings of the Fourth Fuji International Symposium on Functional and Logic Programming}", doi = "10.1007/10705424_13", isbn = "3-540-66677-X", pages = "194--208", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Interval Lattice-Based Constraint Solving Framework for Lattices}", volume = 1722, year = 1999, }