ASSIP-T: A Theorem Proving Machine

Werner Dilger, Hans-Albert Schneider. ASSIP-T: A Theorem Proving Machine. In FGCS. pages 497-506, 1984.

Abstract

Abstract is missing.