@INPROCEEDINGS{D04,
   author = {M. {D}alla Preda},
   title = { Completeness Refinement in Abstract Symbolic Trajectory Evaluation},
   booktitle = {Proc.\ of the 11th Static Analysis Symposium {\rm ({\em SAS~'04\/})}},
   year = {2004},
   volume = {3148},
   series = {Lecture Notes in Computer Science},
   pages = {38-52},
   publisher = {Springer-Verlag},
}