Recursive programs as denitions in rst order logic (1984)

by Robert Cartwright
Venue:Siam Journal of Computing