A Humanlike Approach for Automatic Theorem Proving.

Dominique Pastre A Humanlike Approach for Automatic Theorem Proving. 248-252 1978 AISB/GI (ECAI) db/conf/ecai/ecai78.html#Pastre78