Disconnection Calculus Theorem Prover - System Abstract -- Logical Frameworks,