APA (7th ed.) Citation

Zhou, M., He, F., Wang, B., Gu, M., & Sun, J. A Unified Framework for DPLL(T) + Certificates. Wiley.

Chicago Style (17th ed.) Citation

Zhou, Min, Fei He, Bow-Yaw Wang, Ming Gu, and Jiaguang Sun. A Unified Framework for DPLL(T) + Certificates. Wiley.

MLA (9th ed.) Citation

Zhou, Min, et al. A Unified Framework for DPLL(T) + Certificates. Wiley.