TY  - RPRT
TI  - Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
AU  - George H. L. Fletcher
AU  - Marc Gyssens
AU  - Dirk Leinders
AU  - Jan Van den Bussche
AU  - Dirk Van Gucht
AU  - Stijn Vansummeren
PY  - 2014
DO  - 10.1093/logcom/exu018
UR  - https://arxiv.org/abs/1210.2688
ID  - 1210.2688
ER  -