Connection-Driven Inductive Theorem Proving

Christoph Kreitz, Brigitte Pientka. Connection-Driven Inductive Theorem Proving. Studia Logica, 69(2):293-326, 2001.

Abstract

Abstract is missing.