Gaya APA

Ramanayake, R. (2015). Embedding the hypersequent calculus in the display calculus . : .

Gaya MLA

Ramanayake, Revantha. "Embedding the hypersequent calculus in the display calculus ". : , 2015. Text.