Zhang, H.; Ying, M. Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI 2010, 24, 375-380.