TY  - JOUR
AU  - Lock, Robin H.
TI  - The Tensor Product of Operational Logics
JO  - Canadian journal of mathematics
PY  - 1986
SP  - 1065
EP  - 1080
VL  - 38
IS  - 5
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1986-052-3/
DO  - 10.4153/CJM-1986-052-3
ID  - 10_4153_CJM_1986_052_3
ER  -