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.
استشهاد بنمط شيكاغوHóu, Zhé, Rajeev Goré, Alwen Tiu, و 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, و School of Computer Science and Engineering. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.