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