H. Zhang and M. Ying, “Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription”, AAAI, vol. 24, no. 1, pp. 375–380, Jul. 2010.