The recognition problem for the set of perfect squares (1966)

by A Cobham
Venue:Research Paper RC-1704, IBM Watson Research