Προκοπάκη-Κωστοπούλου Νεφέλη, Graph-based data structure for representation of sets of must-alias analysis inferences, 2016,