A Comparison of Two Proof Critics: Power vs. Robustness

Sorry, there's nothing here.

Cite this paper

@inproceedings{Dennis2002ACO, title={A Comparison of Two Proof Critics: Power vs. Robustness}, author={Louise A. Dennis and Alan Bundy}, booktitle={TPHOLs}, year={2002} }