AY Journal of Automated Reasoning 28: 439-440, 2002. Contents to Volume 28 Volume 28 No. I January 2002 ADNAN H. YAHYA / Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases 1-34 STEVEN EKER / Single Elementary Associative-Commutative Match- ing 35-51 YI-DONG SHEN, LI-YAN YUAN and JIA-HUAI YOU / SLT-Resolution for the Well-Founded Semantics 53-97 Volume 28 No. 2 February 2002 Special Issue: Satisfiability in the Year 2000 Guest Editors: lan P. Gent and Toby Walsh IAN P. GENT and TOBY WALSH / Satisfiability in the Year 2000 MARCO CADOLI, MARCO SCHAERF, ANDREA GIOVANARDI and MASSIMO GIOVANARDI / An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation 101-142 ENRICO GIUNCHIGLIA, ARMANDO TACCHELLA and FAUSTO GIUNCHIGLIA / SAT-Based Decision Procedures for Classi- cal Modal Logics 143-171 IAN HORROCKS and PETER F. PATEL-SCHNEIDER/ Evaluating Optimized Decision Procedures for Propositional Modal Kim) Satisfiability 173-204 ULLRICH HUSTADT and RENATE A. SCHMIDT / Using Resolution for Testing Modal Satisfiability and Building Models Erratum 440 CONTENTS TO VOLUME 28 Volume 28 No. 3 April 2002 ROBERT CREMANNS and FRIEDRICH OTTO / A Completion Pro- cedure for Finitely Presented Groups That Is Based on Word Cycles 235-256 PREDRAG JANICIC and ALAN BUNDY / A General Setting for Flexibly Combining and Augmenting Decision Procedures 257-305 G. SUTCLIFFE, C. B. SUTTNER and F. J. PELLETIER / The CAR ATP System Competition 307-320 HENK BARENDREGT and ERIK BARENDSEN / Autarkic Compu- tations in Formal Proofs 321-336 Volume 28 No. 4 May 2002 TEODOR KNAPIK / Checking Simple Properties of Transition Sys- tems Defined by Thue Specifications 337-369 J. N. HOOKER, G. RAGO, V. CHANDRU and A. SHRIVASTAVA/ Partial Instantiation Methods for Inference in First-Order Logic 371-396 ANGELO MONTANARI, ALBERTO POLICRITI and MATTEO SLANINA / Alternative Translation Techniques for Proposi- tional and First-Order Modal Logics 397-415 EUGENE GOLDBERG / Proving Unsatisfiability of CNFs Locally 417-434 Author Index to Volume 28 435 Subject Index to Volume 28 437 Contents to Volume 28 439-440