McKinsey, J. C. C. (1943). The decision problem for some classes of sentences without quantifier. Journal of Symbolic Logic, 8 (3), 61-76.
author author author author date title title title title title title title title title title journal journal journal journal volume volume pages