APA (7th ed.) Citation

Zhang, J., Mao, D., & Guan, Y. Formalization of Linear Space Theory in the Higher-Order Logic Proving System. Wiley.

Chicago Style (17th ed.) Citation

Zhang, Jie, Danwen Mao, and Yong Guan. Formalization of Linear Space Theory in the Higher-Order Logic Proving System. Wiley.

MLA (9th ed.) Citation

Zhang, Jie, et al. Formalization of Linear Space Theory in the Higher-Order Logic Proving System. Wiley.