Decidability of the universal theory of natural numbers with addition and divisibility (1974)

by A P Beltyokov
Venue:Nauk SSSR