@inproceedings{GR95,
  author = {R. Giacobazzi and F. Ranzato},
  title={Functional Dependencies and Moore-Set Completions
         of Abstract Interpretations and Semantics},
  booktitle = "Proc. 1995 Int'l Symposium on Logic Programming (ILPS'95)",
  year = {1995},
  editor = {J. Lloyd},
  pages = {321-335},
  Publisher = {The MIT Press}}