Citazione Stile APA (7a Edizione)

Kai, T., Teruya, Y., & Nakasho, K. (2024). Remote Verification System for Mizar Integrated with Emwiki.

Citazione stile Chigago Style (17a edizione)

Kai, Toshiki, Yuta Teruya, e Kazuhisa Nakasho. Remote Verification System for Mizar Integrated with Emwiki. 2024.

Citatione MLA (9a ed.)

Kai, Toshiki, et al. Remote Verification System for Mizar Integrated with Emwiki. 2024.