Suchenek M. On Undecidability of Non-monotonic Logic. SI. 2006;7(1-2):127-132. Accessed July 14, 2026. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856