Generalization of the double-reversal method of finding a canonical residual finite state automatonTamm, HellisDescriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings2015 / p. 268 - 279 https://doi.org/10.1007/978-3-319-19225-3_23 Conference Proceedings at Scopus Article at Scopus