TY  - RPRT
TI  - Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
AU  - Igor Sedlár
AU  - Johann J. Wannenburg
PY  - 2022
DO  - 10.1007/978-3-031-15298-6_14
UR  - https://arxiv.org/abs/2209.10610
ID  - 2209.10610
ER  -