@Article{fernandezH-2002,
  author = "Fern\'{a}ndez, A.J. and Hill, P.M.",
  title =  "An Interval Constraint System for Lattice Domains",
  journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
  pages = "1 -- 46",
  volume = 26,
  number = 1,
  publisher = "ACM Press",
  note = "Available at \texttt{http://www.comp.leeds.ac.uk/hill}",
  year = 2004,
}