DCTP - A Disconnection Calculus Theorem Prover - System Abstract -- DCTP - A