Dennis, Louise Abigail, Bundy, Alan, "A Comparison of two Proof Critics: Power vs. Robustness", , 2002