Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. - Paul S. Steyn; John A. van der Poll (MSVVEIS, 2007)