APA (7th ed.) Citation

Niederhauser, J., Hirokawa, N., & Middeldorp, A. (2024). Left-Linear Completion with AC Axioms.

Chicago Style (17th ed.) Citation

Niederhauser, Johannes, Nao Hirokawa, and Aart Middeldorp. Left-Linear Completion with AC Axioms. 2024.

MLA (9th ed.) Citation

Niederhauser, Johannes, et al. Left-Linear Completion with AC Axioms. 2024.