Gottlob, et al.. Expressiveness of Guarded Existential Rule Languages. ACM Press, 2014, doi:10.1145/2594538.2594556.