@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,
}