Gaya APA

Postniece, R, G, A, L. (2010). Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic . : .

Gaya MLA

Postniece, Rajeev, Goré, And, Linda. "Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic". : , 2010. Text.