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