Functional characters of solvable terms (1981)

by M Coppo, M Dezani-Ciancaglini, B Venneri
Venue:Z. Math. Logik Grundlag. Math