On the Computation of the Disjunctive Well-Founded Semantics
The Watson Theorem Prover*
Semi-Thue Systems with an Inhibitor
Author Index to Volume 26
Subject Index to Volume 26
Contents to Volume 26