%0 Journal Article
%A Longo, G.
%A Venturini Zilli, M.
%T Complexity of theorem-proving procedures : some general properties
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1974
%P 5-18
%V 8
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1974__8_3_5_0/
%G en
%F ITA_1974__8_3_5_0