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