%0 Article %A Ecsedi-Tóth Péter %D 1977 %G English %B Acta cybernetica %@ 0324-721X %T An effective theorem proving algorithm %U http://acta.bibl.u-szeged.hu/12250/1/cybernetica_003_fasc_003_249-260.pdf