Proof Search Optimizations for Non-Clausal Connection Calculi.

Jens Otten

Browse the full CADE paper archive.