1. Apt, K., Bezem, M.: Acyclic programs. New Gener. Comput. 9(3,4), 335–365 (1991)
2. Babovich, Y., Maratea, M.: Cmodels-2: SAT-based answer set solver enhanced to non-tight programs. In: International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR-05, January (2004)
3. Balduccini, M.: USA-Smart: improving the quality of plans in answer set planning. In: PADL’04, Lecture Notes in Artificial Intelligence (LNCS), June (2004)
4. Balduccini, M.: CR-MODELS: an inference engine for CR-Prolog. In: Baral, C., Brewka, G., Schlipf, J. (eds.) Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’07). Lecture Notes in Artificial Intelligence, vol. 3662, pp. 18–30. Springer, Berlin (2007)
5. Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9–18, March (2003)