1. On the Computation of the Disjunctive Well-Founded Semantics

   • C. A. Johnson

   OriginalPaper Pages: 333 - 356

2. The Watson Theorem Prover

   • M. Randall Holmes
   • Jim Alves-Foss

   OriginalPaper Pages: 357 - 408

3. Semi-Thue Systems with an Inhibitor

   • Robert McNaughton

   OriginalPaper Pages: 409 - 431

4. Author Index to Volume 26

   Authors Index Pages: 433 - 433

5. Subject Index to Volume 26

   Subject Index Pages: 435 - 435

6. Contents to Volume 26

   Volume Contents Pages: 437 - 438