Inter-procedural Herbrand Equalities. - Stefan Schulze Frielinghaus (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Inter-procedural Two-Variable Herbrand Equalities. - Stefan Schulze Frielinghaus; Michael Petter; Helmut Seidl (Log. Methods Comput. Sci., 2017)

Enforcing termination of interprocedural analysis. - Stefan Schulze Frielinghaus; Helmut Seidl; Ralf Vogler (Formal Methods Syst. Des., 2018)

Interprocedural Program Analysis: Herbrand Equalities and Local Solvers. - Stefan Schulze Frielinghaus (2018)