Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic.

Jens Otten

Browse the full CADE paper archive.