Terminating general recursion (0)

by B Nordström
Venue:BIT