@inproceedings{GQ01,
   author =    {R. Giacobazzi and E. Quintarelli},
   title =     {Incompleteness, counterexamples and refinements 
                in abstract model-checking},
   booktitle = {Proc.\ of The 8th International 
                Static Analysis Symposium, SAS'01},
   year =      2001,
   series =    {Lecture Notes in Computer Science},
   editor = {P. Cousot},
   publisher = {Springer-Verlag},
   volume   =  {2126},
   pages   =   {356-373}}