ASSIP-T: A Theorem-Proving Machine.

Werner Dilger, Hans-Albert Schneider

Browse the full IJCAI paper archive.