D.: KAT-ML: An interactive theorem prover for Kleene algebra with tests (0)

by K Aboul-Hosn, Kozen
Venue:Journal of Applied Non-Classical Logics