An arithmetic characterization (1982)

by C F Kent, B R Hodgson
Venue:of NP, Theoretical Comput. Sci