Terminating general recursion (1988)

by Bengt Nordström
Venue:BIT