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