[MNR94a] Marek, W., Nerode, A., and Remmel, J.B., The stable models of predicate logic programs. *Journal of Logic Programming 21*:129154, 1994.

[MNR94b] Marek, W., Nerode, A., and Remmel, J.B., Context for belief revision: Forward chaining-normal nonmonotonic rule systems, Annals of Pure and Applied Logic 67:269-324, 1994.

[MNR94] Marek, W., Nerode, A., and Remmel, J.B., The stable models of predicate logic programs. *Journal of Logic Programming 21*:129154, 1994.

[MNT07] Marek, V.W., Niemel¨a, I. and Truszczynski, M. Logic programs with

monotone abstract constraint atoms, *Theory and Practice of Logic*

Programming, 8:167–199, 2008.

[SNS02] Simons, P., Niemel¨a, I., and Soininen, T. 2002. Extending and implementing the stable model semantics. *Artificial Intelligence 138*:181–
234, 2002.

| [MR04]                                                                                                    | Marek, V.W. and Remmel, J.B.                                                                              | Set Constraints in Logic Program   |
|-----------------------------------------------------------------------------------------------------------|-----------------------------------------------------------------------------------------------------------|---|
| ming.                                                                                                     | In Logic Programming and Nonmonotonic Reasoning, Pro                                                                                                           |   |
| ceedings of the 7th International Conference (LPNMR-04). LNAI 2923, pages 154–167, Springer-Verlag, 2004. |                                                                                                           |   |
| [MR09]                                                                                                    | Marek, V.W. and Remmel, J.B. Guarded resolution and Answer Set Programming, Unpublished manuscript, 2009. |   |
| [MT93]                                                                                                    | Marek, W. and                                                                                             | Truszczy´nski, M. Nonmonotonic Logic, Springer   |
| Verlag, Berlin, 1993.                                                                                     |                                                                                                           |   |
| [Mi05]                                                                                                    | Milnikel, R.S., Sequent Calculi for Skeptical Reasoning in Predicate Default Logic and Other Nonmonotonic Systems, Annals of Mathematics and Artificial Intelligence 44:1-34, 2005.                                                                                                           |   |
