@InProceedings{VMCAI:MYRS05,
 author    = {Roman Manevich and Eran Yahav and G. Ramalingam and Mooly Sagiv},
 title     = {Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists},
 editor    = {Radhia Cousot},
 booktitle = {Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2005},
 series    = {Lecture Notes in Computer Science},
 volume    = {},
 publisher = {Springer},
 note      = {Available at http://www.cs.tau.ac.il/$\sim$rumster/vmcai05.pdf},
 month     = {jan},
 location  = {Paris, France}
 day       = {17--19},
 year      = {2005},
 pages     = {}
}