Transfinite Induction on Ordinal Configurations. - Luiz Paulo de Alcantara; Walter Alexandre Carnielli (Math. Log. Q., 1981)