Minimal Gödel numbers and their identification in the limit (1975)

by R Freivalds
Venue:Lecture Notes in Computer Science