@misc{indiciae237d73e93cc6,
  title = {Adding modular predicates to first-order fragments},
  author = {Luc Dartois and Charles Paperman},
  year = {2015},
  url = {https://arxiv.org/abs/1401.6576},
  note = {Source identifier: 1401.6576}
}