The efficiency of theorem proving strategies a comparative and asymptotic analysis - Plaisted, David A.; Zhu, Yunshan (Vieweg, 1999)
Literaturverz. S. 157 - 163
Keywords: Automatisches Beweisverfahren