Michał Tyburski,  Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu , Filozofia Nauki, 2009, 17, 1, s. 107-122