@article{ITA_1974__8_3_5_0,
     author = {Longo, G. and Venturini Zilli, M.},
     title = {Complexity of theorem-proving procedures : some general properties},
     journal = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {5--18},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {8},
     number = {R3},
     year = {1974},
     mrnumber = {375834},
     zbl = {0302.68098},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1974__8_3_5_0/}
}