@article{10_4153_CJM_1986_052_3,
     author = {Lock, Robin H.},
     title = {The {Tensor} {Product} of {Operational} {Logics}},
     journal = {Canadian journal of mathematics},
     pages = {1065--1080},
     year = {1986},
     volume = {38},
     number = {5},
     doi = {10.4153/CJM-1986-052-3},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1986-052-3/}
}