@article{GRic98,
  author = {R. Giacobazzi and F. Ranzato},
  title={Uniform closures: Order-theoretically reconstructing logic program 
         semantics and abstract domain refinements},
  journal = {Information and Computation},
  year = {1998},
  volume = {145},
  number = {2},
  pages = {153-190}}