A graph approach to computing nondeterminacy in substitutional dynamical systemsToke M. Carlsen and Søren EilersRAIRO-Theor. Inf. Appl., 41 3 (2007) 285-306DOI: https://doi.org/10.1051/ita:2007020
