@inproceedings{Frielinghaus16Termination,
  author = {Stefan {Schulze Frielinghaus} and Helmut Seidl and Ralf Vogler},
  title = {Enforcing {T}ermination of {I}nterprocedural {A}nalysis},
  booktitle = {Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings},
  year = 2016,
  pages = {447--468},
  doi = {10.1007/978-3-662-53413-7_22},
}