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