Finite model reasoning over existential rules. - AMENDOLA, GIOVANNI; LEONE, NICOLA; MANNA, MARCO (Theory & Practice of Logic Programming, 2017)