@InProceedings{HHK2000,
  Author = "A. Heaton and P. Hill and A. King",
  Title = "Abstract Domains for Universal and Existential Properties",
  BookTitle = "Programming Languages and Systems:
   9th European Symposium on Programming, ESOP 2000",
  Address = "Berlin, Germany",
  Year = 2000,
  Editor = "G. Smolka",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = "1872",
  ISBN = "3-540-67262-1",
}