An algebraic study of tense logics with linear time (1968)

by Robert A Bull
Venue:Journal of Symbolic Logic, 33:27