OpenAlex
A cancellativity criterion for presented monoids
Work