TY  - RPRT
TI  - Logics for Reversible Regular Languages and Semigroups with Involution
AU  - Paul Gastin
AU  - Amaldev Manuel
AU  - R. Govind
PY  - 2019
UR  - https://arxiv.org/abs/1907.01214
ID  - 1907.01214
ER  -