Decision procedures for S3... and S4.. . J. Jay Zeman — 1969 Archiv für mathematische Logik und Grundlagenforschung