A Benchmark Method for the Propositional Modal Logics K, KT, S4 Peter BalsigerAlain HeuerdingStefan Schwendimann OriginalPaper Pages: 297 - 317
A Hyperbase for Binary Lattice Hyperidentities R. PadmanabhanP. Penner OriginalPaper Pages: 365 - 370