@phdthesis{FrielinghausThesis, author = {Stefan {Schulze Frielinghaus}}, title = {Interprocedural {P}rogram {A}nalysis: {H}erbrand {E}qualities and {L}ocal {S}olvers}, school = {Technische Universit\"at M\"unchen}, year = 2018, }