TY - JOUR AU - Roddy, Michael S. TI - On the Word Problem for Orthocomplemented Modular Lattices JO - Canadian journal of mathematics PY - 1989 SP - 961 EP - 1004 VL - 41 IS - 6 UR - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1989-044-8/ DO - 10.4153/CJM-1989-044-8 ID - 10_4153_CJM_1989_044_8 ER -