"Parametrization over Inductive Relations of a Bounded Number of Variables."

Gregory L. McColm (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics