APA (7th ed.) Citation

Czajka, Ł., & Kaliszyk, C. (2018). Hammer for Coq: Automation for Dependent Type Theory. Journal of Automated Reasoning, 61(1-4), 423. https://doi.org/10.1007/s10817-018-9458-4

Chicago Style (17th ed.) Citation

Czajka, Łukasz, and Cezary Kaliszyk. "Hammer for Coq: Automation for Dependent Type Theory." Journal of Automated Reasoning 61, no. 1-4 (2018): 423. https://doi.org/10.1007/s10817-018-9458-4.

MLA (9th ed.) Citation

Czajka, Łukasz, and Cezary Kaliszyk. "Hammer for Coq: Automation for Dependent Type Theory." Journal of Automated Reasoning, vol. 61, no. 1-4, 2018, p. 423, https://doi.org/10.1007/s10817-018-9458-4.