TY  - RPRT
TI  - From Hybrid Modal Logic to Matching Logic and Back
AU  - Ioana Leuştean
AU  - Natalia Moangă
AU  - Traian Florin Şerbănuţă
PY  - 2019
DO  - 10.4204/eptcs.303.2
UR  - https://arxiv.org/abs/1907.05029
ID  - 1907.05029
ER  -