External Links

    Journal: Journal of Automated Reasoning

    Volume 24, Issue 3

    297 -- 317Peter Balsiger, Alain Heuerding, Stefan Schwendimann. A Benchmark Method for the Propositional Modal Logics K, KT, S4
    319 -- 364Fabio Massacci. Single Step Tableaux for Modal Logics
    365 -- 370R. Padmanabhan, P. Penner. A Hyperbase for Binary Lattice Hyperidentities
    371 -- 396Geoff Sutcliffe. The CADE-16 ATP System Competition
    runs on