Michael Benedikt, Thomas W. Reps, Shmuel Sagiv
A Decidable Logic for Describing Linked Data Structures
ESOP, 1999.
@inproceedings{ESOP-1999-BenediktRS, author = "Michael Benedikt and Thomas W. Reps and Shmuel Sagiv", booktitle = "{Proceedings of the Eighth European Symposium on Programming}", doi = "10.1007/3-540-49099-X_2", editor = "S. Doaitse Swierstra", isbn = "3-540-65699-5", pages = "2--19", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Decidable Logic for Describing Linked Data Structures}", volume = 1576, year = 1999, }