An average case analysis of a resolution principle algorithm in mechanical theorem proving.
scientific article; zbMATH DE number 1005828
scientific article