@article{10_1017_S001708950003010X,
     author = {Oliveira, Ana and Silva, Pedro V.},
     title = {Inverse automata andmonoids and the undecidability of the cayley subgraph problem for groups},
     journal = {Glasgow mathematical journal},
     pages = {421--437},
     year = {2000},
     volume = {42},
     number = {3},
     doi = {10.1017/S001708950003010X},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S001708950003010X/}
}