Bruno Courcelle. An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. In Shimon Even, Oded Kariv, editors, Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Volume 115 of Lecture Notes in Computer Science, pages 393-407, Springer, 1981.
Abstract is missing.