Extending decidable cases for rules with existential variables. In (2009)

by J-F Baget, M Leclère, M-L Mugnier, E Salvat