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