TY - JOUR AU - Longo, G. AU - Venturini Zilli, M. TI - Complexity of theorem-proving procedures : some general properties JO - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique PY - 1974 SP - 5 EP - 18 VL - 8 IS - R3 PB - Dunod-Gauthier-Villars PP - Paris UR - http://archive.numdam.org/item/ITA_1974__8_3_5_0/ LA - en ID - ITA_1974__8_3_5_0 ER -