Suchenek, M. On Undecidability of Non-Monotonic Logic. SI 2006, 7 (1-2), 127-132.