Suchenek, M. “On Undecidability of Non-Monotonic Logic”. Studia Informatica. System and Information Technology, vol. 7, no. 1-2, Dec. 2006, pp. 127-32, https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856.