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