Niederhauser, J., Hirokawa, N., & Middeldorp, A. (2024). Left-Linear Completion with AC Axioms.
Style de citation Chicago (17e éd.)Niederhauser, Johannes, Nao Hirokawa, et Aart Middeldorp. Left-Linear Completion with AC Axioms. 2024.
Style de citation MLA (9e éd.)Niederhauser, Johannes, et al. Left-Linear Completion with AC Axioms. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.