1. Ben-Eliyahu, R. and Palopoli, L. (1994), Reasoning with Minimal Models: Efficient Algorithms and Applications, in “Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94),” pp. 39–50.
2. Cadoli, M. (1992), On the complexity of model finding for nonmonotonic propositional logics. In A. Marchetti Spaccamela, P. Mentrasti, and M. Venturini Zilli, editors, Proceedings of the Fourth Italian Conference on Theoretical Computer Science, pages 125–139. World Scientific Publishing Co.
3. Chen, Z., and Toda, S., (1995), The complexity of selecting maximal solutions. Information and Computation, 119:231–239.
4. Eiter, T., Gottlob, G., and Mannila, H. (1997), Disjunctive datalog, ACM Trans. on Database Systems, 22(3):315–363, September 1997.
5. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F. (1998), The KR System dlv: Progress Report, Comparisons and Benchmarks. Proc. KR’98, pp.406–417.