On the relation between primitive recursion, schematization, and divergence (1992)

by M Hermann
Venue:Proceeding 3rd Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science