Reinhold Letz Gernot Stenz DCTP - A Disconnection Calculus Theorem Prover - System Abstract. 381-385 2001 conf/cade/2001 IJCAR http://link.springer.de/link/service/series/0558/bibs/2083/20830381.htm db/conf/cade/ijcar2001.html#LetzS01