The Boolean logic of set sharing analysis (1998)

by M Codish, H Sndergaard
Venue:Principles of Declarative Programming: Lecture Notes in Computer Science 1490