External Links

    Journal: Journal of Logic and Computation

    Volume 4, Issue 3

    215 -- 216C. A. R. Hoare. Editorial
    217 -- 247Leo Bachmair, Harald Ganzinger. Rewrite-Based Equational Theorem Proving with Selection and Simplification
    249 -- 262Robert F. Stärk. Input/Output Dependencies of Normal Logic Programs
    263 -- 272William P. R. Mitchell. Expressiveness for Highly Nested Expressions in Linear Temporal Logic
    273 -- 283R. Suzanne Zeitman. Unforgettable Forgetful Determinacy
    285 -- 319Marcello D Agostino, Marco Mondadori. The Taming of the Cut. Classical Refutations with Analytic Cut
    runs on