1. Checking Simple Properties of Transition Systems Defined by Thue Specifications

   • Teodor Knapik

   OriginalPaper Pages: 337 - 369

2. Partial Instantiation Methods for Inference in First-Order Logic

   • J. N. Hooker
   • G. Rago
   • A. Shrivastava

   OriginalPaper Pages: 371 - 396

3. Alternative Translation Techniques for Propositional and First-Order Modal Logics

   • Angelo Montanari
   • Alberto Policriti
   • Matteo Slanina

   OriginalPaper Pages: 397 - 415

4. Proving Unsatisfiability of CNFs Locally

   • Eugene Goldberg

   OriginalPaper Pages: 417 - 434

5. Author Index to Volume 28

   Authors Index Pages: 435 - 435

6. Subject Index to Volume 28

   Subject Index Pages: 437 - 437

7. Contents to Volume 28

   Volume Contents Pages: 439 - 440