Dennis, L. A., & Bundy, A. (2002). A Comparison of two Proof Critics: Power vs. Robustness. In V. A. Carreno, C. A. Munoz, & S. Tahar (Eds.),