Combination techniques for non-disjoint equational theories

From MaRDI portal
Publication:5210778