M. Suchenek, “On Undecidability of Non-monotonic Logic”, SI, vol. 7, no. 1-2, pp. 127–132, Dec. 2006, Accessed: Mar. 27, 2026. [Online]. Available: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856