A Complete Finite Axiomatisation of the Equational Theory of Common Meadows. - Bergstra, Jan A.; Tucker, John V. (ACM Transactions on Computational Logic, 2025)