@INPROCEEDINGS{fernandez+:interval-based-flops99, 
   author = "A.J. Fern{\'{a}}ndez and P.M. Hill",
   title = "An interval lattice-based constraint solving framework for lattices",
   editor = "Aart Middeldorp and  Taisuke Sato",
   booktitle = "4th International Symposium on Functional and Logic 
               Programming (FLOPS'99)",
   number = 1722,
   series = "LNCS",
   pages = "194-208",
   month = "November",
   year = 1999,
   publisher = "Springer Verlag",
   address = "Tsukuba, Japan",         
   note = ""
}