@article{ITA_1986__20_4_395_0,
     author = {Honkala, Juha},
     title = {A decision method for the recognizability of sets defined by number systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {395--403},
     publisher = {AFCET - Gauthier-Villars},
     address = {Paris},
     volume = {20},
     number = {4},
     year = {1986},
     mrnumber = {880843},
     zbl = {0639.68074},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1986__20_4_395_0/}
}