@inproceedings{meta_circ,
   author = {Michael Codish and Harald Søndergaard},
   title = {Meta-circular abstract interpretation in Prolog},
   booktitle = {The Essence of Computation: Complexity, Analysis,
                Transformation},
   editor = {Torben Mogensen, David Schmidt,  and
                I. Hal Sudburough},
   series = {Lecture Notes in Computer Science},
   volume = {2566},
   year = {2002},
   pages = {109--134},
   publisher = {Springer-Verlag}
}