Suchenek, M. 2006. On Undecidability of Non-monotonic Logic. Studia Informatica. System and information technology. 7, 1-2 (Dec. 2006), 127–132.