A.: Partial Online Cycle Elimination in Inclusion Constraint Graphs (1998)

by M Fähndrich, J S Foster, Z Su, Aiken
Venue:In: Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation