Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.

Hsiang, JiehJiehHsiangRusinowitch, MichaëlMichaëlRusinowitchJIEH HSIANG2020-05-042020-05-041991https://scholars.lib.ntu.edu.tw/handle/123456789/488704Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.journal article10.1145/116825.116833https://doi.org/10.1145/116825.116833