Anti-unification and the theory of semirings

From MaRDI portal
Publication:2215964