Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure.

Jrg H. Siekmann, Gert Smolka

Browse the full KI paper archive.