Functional characters of solvable terms (1981)

by M Coppo, M Dezani-Ciancaglini, B Venneri
Venue:Mathematical Logic Quarterly, Volume 27, Issue