Switch to: References

Add citations

You must login to add citations.
  1. Parametrization over inductive relations of a bounded number of variables.Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 48 (2):103-134.