TY  - RPRT
TI  - Adding modular predicates to first-order fragments
AU  - Luc Dartois
AU  - Charles Paperman
PY  - 2015
UR  - https://arxiv.org/abs/1401.6576
ID  - 1401.6576
ER  -