Kleene algebra modulo theories: a framework for concrete KATs.

Michael Greenberg, Ryan Beckett, Eric Hayden Campbell

Browse the full PLDI paper archive.