@Article{ DiekertK2016tcs, author = "Diekert, Volker and Manfred Kufleitner", title = "A Survey on the Local Divisor Technique", journal = "Theoretical Computer Science", year = "2016", volume = "610", pages = "13--23", doi = "10.1016/j.tcs.2015.07.008" }