Suchenek, Marek. “On Undecidability of Non-Monotonic Logic”. Studia Informatica. System and information technology 7, no. 1-2 (December 15, 2006): 127–132. Accessed May 2, 2024. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856.