APA (7th ed.) Citation

Malbos, P., Massacrier, T., & Struth, G. (2024). Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. Journal of Automated Reasoning, 68(4), 1. https://doi.org/10.1007/s10817-024-09710-9

Chicago Style (17th ed.) Citation

Malbos, Philippe, Tanguy Massacrier, and Georg Struth. "Single-Set Cubical Categories and Their Formalisation with a Proof Assistant." Journal of Automated Reasoning 68, no. 4 (2024): 1. https://doi.org/10.1007/s10817-024-09710-9.

MLA (9th ed.) Citation

Malbos, Philippe, et al. "Single-Set Cubical Categories and Their Formalisation with a Proof Assistant." Journal of Automated Reasoning, vol. 68, no. 4, 2024, p. 1, https://doi.org/10.1007/s10817-024-09710-9.