A combinatorial proof of associativity of Ore extensions.
scientific article; zbMATH DE number 6250383