A. M. Kozanecka-Dymek, „Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego”, sp, nr 2, s. 121–132, lip. 2021.