Cancellative Abelian monoids and related structures in refutational theorem proving. I
scientific article; zbMATH DE number 1886762
scientific article