ASSIP-T A Theorem-Proving Machine

Werner Dilger, Hans-Albert Schneider. ASSIP-T A Theorem-Proving Machine. In IJCAI. pages 1194-1200, 1985.

Abstract

Abstract is missing.