APA引文

Hóu, Z., Goré, R., Tiu, A., & Engineering, S. o. C. S. a. (2020). A labelled sequent calculus for BBI: Proof theory and proof search.

Chicago Style Citation

Hóu, Zhé, Rajeev Goré, Alwen Tiu, and School of Computer Science and Engineering. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. 2020.

MLA引文

Hóu, Zhé, Rajeev Goré, Alwen Tiu, and School of Computer Science and Engineering. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. 2020.