@misc{indiciae344a549f2ad9, title = {On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures}, author = {Koen Lefever and Gergely Székely}, year = {2018}, doi = {10.1007/s10992-018-9491-0}, url = {https://arxiv.org/abs/1802.06844}, note = {Source identifier: 1802.06844} }