A Comparison of Two Proof Critics: Power vs. Robustness

Louise A. Dennis, Alan Bundy

Research output: Other contributionpeer-review

Original languageUndefined
DOIs
Publication statusPublished - 2002

Cite this