@article{FrielinghausFORM17,
  author = {Stefan {Schulze Frielinghaus} and Helmut Seidl and Ralf Vogler},
  title = {Enforcing {T}ermination of {I}nterprocedural {A}nalysis},
  journal = {Formal Methods in System Design},
  year = 2017,
  doi = {10.1007/s10703-017-0288-5},
}