1. M. Denecker and D. Schreye. A framework for indeterministic model generation with equality. In Proc. Conf. on Fifth Generation Computer Systems. 1992.
2. J.A. Fernández and J. Minker. Bottom-up evaluation of Hierarchical Disjunctive Deductive Databases. In Proc. 8
th
Int. Conf. on Logic Programming, 660–675. MIT Press, 1991.
3. M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1987.
4. H. Schüz and T. Geisler. Efficient model generation through compilation. Tech. Rep. PMS-96-2, Inst. für Informatik, Munich University, 1996. Submitted for publication.
5. J. Hintikka. Model minimization — an alternative to circumscription. J. Automated Reasoning, Vol. 4, 1–13, 1988.