@misc{indiciae0273da1b037c,
  title = {A Dataflow Analysis for Comparing and Reordering Predicate Arguments},
  author = {Gonzague Yernaux and Wim Vanhoof},
  year = {2023},
  doi = {10.4204/eptcs.385.5},
  url = {https://arxiv.org/abs/2308.15880},
  note = {Source identifier: 2308.15880}
}