Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations.
George H. L. FletcherMarc GyssensDirk LeindersJan Van den BusscheDirk Van GuchtStijn VansummerenPublished in: J. Log. Comput. (2015)