The following publications are possibly variants of this publication:
- Inter-procedural Two-Variable Herbrand EqualitiesStefan Schulze Frielinghaus, Michael Petter, Helmut Seidl. lmcs, 13(2), 2017. [doi]
- Inter-procedural Herbrand EqualitiesStefan Schulze Frielinghaus. dfg 2014: 106
- Upper Adjoints for Fast Inter-procedural Variable EqualitiesMarkus Müller-Olm, Helmut Seidl. ESOP 2008: 178-192 [doi]
- Interprocedural Herbrand EqualitiesMarkus Müller-Olm, Helmut Seidl, Bernhard Steffen. ESOP 2005: 31-45 [doi]
- Checking Herbrand Equalities and BeyondMarkus Müller-Olm, Oliver Rüthing, Helmut Seidl. vmcai 2005: 79-96 [doi]
- Interprocedural Program Analysis: Herbrand Equalities and Local SolversStefan Schulze Frielinghaus. PhD thesis, Technical University Munich, Germany, 2018. [doi]
- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias AnalysisHelmut Seidl, Vesal Vojdani, Varmo Vene. FM 2009: 644-659 [doi]
- Fast interprocedural linear two-variable equalitiesAndrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl. TOPLAS, 33(6):21, 2011. [doi]