Parametrization over inductive relations of a bounded number of variables, Ann (1990)

by G McColm
Venue:Pure & Applied Logic 48