Partial Reductions for Kleene Algebra with Linear Hypotheses.

Liam Chung, Tobias Kapp

Browse the full FOSSACS paper archive.