Decidability by Resolution for Propositional Modal Logics
SPS-Parallelism + SETHEO = SPTHEO
T-Resolution : Refinements and Model Elimination
Author Index to Volume 22
Subject Index to Volume 22
Contents to Volume 22