@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    = "3148",
 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     = "181--198"
}