TY  - RPRT
TI  - Finite model reasoning over existential rules
AU  - Giovanni Amendola
AU  - Nicola Leone
AU  - Marco Manna
PY  - 2017
UR  - https://arxiv.org/abs/1707.01870
ID  - 1707.01870
ER  -