Polynomial computability and recursivity in finite domains, Elektronische Informationsverarbeitung und Kybernetik 60 (1980)

by V Sazonov