A Scalable Inclusion Constraint Solver Using Unification.

Ye Zhang, Flemming Nielson

Browse the full LOPSTR paper archive.