External Links

    Journal: Journal of Logic and Computation

    Volume 8, Issue 2

    135 -- 145A. K. Shiny, Arun K. Pujari. Computation of Prime Implicants Using Matrix and Paths
    147 -- 158Michael Freund. Preferential Orders and Plausibility Measures
    159 -- 167Wilfried Buchholz. A Note on SLDNF-Resolution
    169 -- 187Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin. Extensions for Open Default Theories via the Domain Closure Assumption
    189 -- 207Arnaud Durand, Clemens Lautemann, Thomas Schwentick. Subclasses of Binary NP
    209 -- 229Gopalan Nadathur. Uniform Provability in Classical Logic
    runs on