{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:32:30Z","timestamp":1792265550179,"version":"4.4.0"},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,6,1]]},"DOI":"10.1093\/logcom\/exu018","type":"journal-article","created":{"date-parts":[[2014,3,26]],"date-time":"2014-03-26T03:11:31Z","timestamp":1395803491000},"page":"549-580","source":"Crossref","is-referenced-by-count":9,"title":["Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations"],"prefix":"10.1093","volume":"25","author":[{"given":"G. H. L.","family":"Fletcher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Leinders","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Van Gucht","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Vansummeren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2014,3,25]]},"reference":[{"key":"6_47620866","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2004.10.030","volume":"336","year":"2005","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"7_43826231","first-page":"1","volume":"5","year":"2009","journal-title":"INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS"},{"key":"13_47620867","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1016\/j.is.2008.09.003","volume":"34","year":"2009","journal-title":"INFORMATION SYSTEMS"},{"key":"14_47620868","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/290593.290605","volume":"27","year":"1998","journal-title":"SIGMOD RECORD"},{"key":"15_42774210","first-page":"27","volume":"34","year":"2005","journal-title":"SIGMOD RECORD"},{"key":"16_47620869","first-page":"277","volume":"37","year":"2006","journal-title":"JOURNAL AUTOM REASONING"},{"key":"21_27326975","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","year":"1985","journal-title":"JOURNAL OF THE ACM"},{"key":"25_47620870","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BF00370681","volume":"50","year":"1991","journal-title":"STUDIA LOGICA"},{"key":"28_47620871","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","year":"2005","journal-title":"ACM TRANSACTIONS ON DATABASE SYSTEMS"},{"key":"29_47620872","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1083784.1083792","volume":"34","year":"2005","journal-title":"SIGMOD RECORD"},{"key":"32_47620873","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/978-3-642-30284-8_34","volume":"7295","year":"2012","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"36_29617070","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","year":"1941","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"38_47620874","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/A:1005072201319","volume":"60","year":"1998","journal-title":"STUDIA LOGICA"},{"issue":"7","key":"39_37590042","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1093\/comjnl\/bxq055","volume":"54","year":"2011","journal-title":"The Computer Journal","ISSN":"https:\/\/id.crossref.org\/issn\/0010-4620","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/3\/549\/6138494\/exu018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T18:59:58Z","timestamp":1503514798000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,25]]},"references-count":14,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,5,27]]},"published-print":{"date-parts":[[2015,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu018","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,25]]}}}