Tyburski, Michał. 2009. „Cyrkumskrypcja: Formalizacja Rozumowania Niemonotonicznego W Logice Drugiego rzędu”. Filozofia Nauki 17 (1):107-22. https://www.fn.uw.edu.pl/index.php/fn/article/view/562.