Presburgerness of predicates regular in two number systems (1977)

by A Semenov
Venue:Siberian Mathematical Journal