X-1993-06: Michael Zakharyashev Canonical Formulas for K4. Part II: Cofinal Subframe Logics 1.Full Text. < Back
