Tyburski, M. (2009). Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu. Filozofia Nauki, 17(1), 107–122. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/562