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