Jeffrey O. Shallit. Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs. In Sebastian Maneth, editor, Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings. Volume 12803 of Lecture Notes in Computer Science, pages 14-24, Springer, 2021. [doi]
Abstract is missing.