An effective theorem proving algorithm - Ecsedi-Tóth, Péter; Varga, A. (Acta Cybernetica, 1977)