@inproceedings{bc20ff9b55f94cc39ab0128350f2d3fd,
title = "A Scalable Inclusion Constraint Solver Using Unification",
author = "Ye Zhang and Flemming Nielson",
year = "2007",
language = "English",
isbn = "978-3-540-78768-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
number = "4915",
pages = "121--137",
booktitle = "Proceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation",
address = "Germany",
note = "A Scalable Inclusion Constraint Solver Using Unification ; Conference date: 01-01-2007",
}