APA (7th ed.) Citation

Manzano, M., Martins, M., & Huertas, A. (2019). Completeness in Equational Hybrid Propositional Type Theory.

Chicago Style (17th ed.) Citation

Manzano, Maria, Manuel Martins, and Antonia Huertas. Completeness in Equational Hybrid Propositional Type Theory. 2019.

MLA (8th ed.) Citation

Manzano, Maria, et al. Completeness in Equational Hybrid Propositional Type Theory. 2019.