Partial Reductions for Kleene Algebra with Linear Hypotheses. - Liam Chung; Tobias Kappé (FoSSaCS, 2026)