Markus Holzer 0001, Christian Rauch. On Jaffe's Pumping Lemma, Revisited. In Henning Bordihn, Nicholas Tran, György Vaszil, editors, Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Volume 13918 of Lecture Notes in Computer Science, pages 65-78, Springer, 2023. [doi]
Abstract is missing.