MoL-2024-09: Liam Chung Automata Closure Constructions for Kleene Algebra with Hypotheses 1.Full Text, 2.Abstract. < Back