Suchenek, M. (2006). On Undecidability of Non-monotonic Logic. Studia Informatica. System and Information Technology, 7(1-2), 127–132. Retrieved from https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856