@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},
}