Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang. Reference Abstract Domains and Applications to String Analysis. Fundamenta Informaticae, 158(4):297-326, 2018. [doi]