Suchenek M. On Undecidability of Non-monotonic Logic. SI [Internet]. 2006 Dec. 15 [cited 2024 May 2];7(1-2):127-32. Available from: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2856