On Fairness of Completion-Based Theorem Proving Strategies.

Bonacina, Maria PaolaMaria PaolaBonacinaJIEH HSIANG2020-05-042020-05-041991https://scholars.lib.ntu.edu.tw/handle/123456789/488706On Fairness of Completion-Based Theorem Proving Strategies.conference paper10.1007/3-540-53904-2_109https://doi.org/10.1007/3-540-53904-2_109