M. Suchenek, “On Undecidability of Non-monotonic Logic”, SI, vol. 7, no. 1-2, pp. 127–132, Dec. 2006.