Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. - Otten, Jens (2016)