Checking Simple Properties of Transition Systems Defined by Thue Specifications Teodor Knapik OriginalPaper Pages: 337 - 369
Partial Instantiation Methods for Inference in First-Order Logic J. N. HookerG. RagoA. Shrivastava OriginalPaper Pages: 371 - 396
Alternative Translation Techniques for Propositional and First-Order Modal Logics Angelo MontanariAlberto PolicritiMatteo Slanina OriginalPaper Pages: 397 - 415