Gaya APA

Fiorentini, C. (2015). Terminating sequent calculi for proving and refuting formulas in S4 . : .

Gaya MLA

Fiorentini, Camillo. "Terminating sequent calculi for proving and refuting formulas in S4 ". : , 2015. Text.