Unification under associativity and idem
β
Manfred Schmidt-Schauss
π
Article
π
1986
π
Springer Netherlands
π
English
β 238 KB