Article ISI Theoretical Computer Science (2014)
Michael Benedikt; Gabriele Puppis; Cristian Riveros
10.1016/j.tcs.2014.04.021