TY  - RPRT
TI  - Kleene Algebra Modulo Theories
AU  - Michael Greenberg
AU  - Ryan Beckett
AU  - Eric Campbell
PY  - 2022
DO  - 10.1145/3519939.3523722
UR  - https://arxiv.org/abs/1707.02894
ID  - 1707.02894
ER  -