@misc{indiciaea7cbf158b4d8, title = {Checking Whether an Automaton Is Monotonic Is NP-complete}, author = {Marek Szykuła}, year = {2015}, doi = {10.1007/978-3-319-22360-5\_23}, url = {https://arxiv.org/abs/1407.5068}, note = {Source identifier: 1407.5068} }