Extended primitive recursive functions P. Mentrasti; M. Protasi — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
A parametric analysis of the largest induced tree problem in random graphs M. Protasi; M. Talamo — 1986 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications