TY  - JOUR
AU  - Almeida, Jorge
AU  - Trotter, Peter G.
TI  - Hyperdecidability of pseudovarieties of orthogroups
JO  - Glasgow mathematical journal
PY  - 2001
SP  - 67
EP  - 83
VL  - 43
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/S0017089501010060/
DO  - 10.1017/S0017089501010060
ID  - 10_1017_S0017089501010060
ER  -