TY  - JOUR
AU  - Szymański, Robert
TI  - Decidability of weak equational theories
JO  - Czechoslovak Mathematical Journal
PY  - 1996
SP  - 629
EP  - 664
VL  - 46
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1996.127325/
DO  - 10.21136/CMJ.1996.127325
LA  - en
ID  - 10_21136_CMJ_1996_127325
ER  -