Combination problems for commutative/monoidal theories or how algebra can help in equational unification
systems of linear equations over a semiring
scientific article; zbMATH DE number 909646
scientific article