@InProceedings{SAS:MRFGS02,
 author    = "Roman Manevich and G. Ramalingam and John Field and Deepak Goyal and Mooly Sagiv",
 title     = "Compactly Representing First-Order Structures for Static Analysis",
 editor    = "Manuel V. Hermenegildo and German Puebla",
 booktitle = "Proceedings of the 9th International Symposium, SAS 2002",
 series    = "Lecture Notes in Computer Science",
 volume    = "2477",
 publisher = "Springer",
 note      = "Available at http://www.cs.tau.ac.il/$\sim$rumster/sas02.pdf",
 month     = sep,
 day       = "17--20",
 year      = 2002,
 pages     = "196--212"
}