@article{1183736194, author = {Bull, R. A.}, title = {An Algebraic Study of Tense Logics with Linear Time}, journal = {J. Symbolic Logic}, volume = {33}, number = {1}, year = {1968}, pages = { 27-38}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736194} }
Bull, R. A. An Algebraic Study of Tense Logics with Linear Time. J. Symbolic Logic, Tome 33 (1968) no. 1, pp. 27-38. http://gdmltest.u-ga.fr/item/1183736194/