Gaya APA

Simpson, J, B, A, A. (2012). Sequent calculi for induction and infinite descent . : .

Gaya MLA

Simpson, James, Brotherston, And, Alex. "Sequent calculi for induction and infinite descent". : , 2012. Text.