Checking Simple Properties of Transition Systems Defined by Thue Specifications
Partial Instantiation Methods for Inference in First-Order Logic
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Proving Unsatisfiability of CNFs Locally
Author Index to Volume 28
Subject Index to Volume 28
Contents to Volume 28