Suchenek, Marek A. (1990), "Applications of Lyndon Homomorphism Theorems to the theory of minimal models.", International Journal of Foundations of Computer Science, 01 (1), World Scientific: 49–59, doi:10.1142/S0129054190000059
Gelfond, Michael; Przymusinska, Halina; Przymusinski, Teodor (1990), "On the relationship between CWA, minimal model, and minimal herbrand model semantics", International Journal of Intelligent Systems, 5 (5), Wiley: 549–564, doi:10.1002/int.4550050507
stanford.edu
plato.stanford.edu
Strasser, Christian; Antonelli, G. Aldo. "Non-Monotonic Logic". plato.stanford.edu/index.html. Stanford Encyclopedia of Philosophy. Retrieved 19 March 2015.