TY  - RPRT
TI  - On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
AU  - Koen Lefever
AU  - Gergely Székely
PY  - 2018
DO  - 10.1007/s10992-018-9491-0
UR  - https://arxiv.org/abs/1802.06844
ID  - 1802.06844
ER  -