@article{FrielinghausLMCS17, author = {Stefan {Schulze Frielinghaus} and Michael Petter and Helmut Seidl}, title = {Inter-procedural {T}wo-{V}ariable {H}erbrand {E}qualities}, journal = {Logical Methods in Computer Science}, year = 2017, volume = {13}, number = {2}, doi = {10.23638/LMCS-13(2:5)2017}, }