APA (7th ed.) Citation

(23277136), B. X., (23277139), C. O., (23276149), G. R., & (23276146), V. N. (2018). Mechanizing Focused Linear Logic in Coq.

Chicago Style (17th ed.) Citation

(23277136), Bruno Xavier, Carlos Olarte (23277139), Giselle Reis (23276149), and Vivek Nigam (23276146). Mechanizing Focused Linear Logic in Coq. 2018.

MLA (9th ed.) Citation

(23277136), Bruno Xavier, et al. Mechanizing Focused Linear Logic in Coq. 2018.