Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Browse the full ESOP paper archive.