{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T16:31:04Z","timestamp":1775061064702,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032224682","type":"print"},{"value":"9783032224699","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22469-9_8","type":"book-chapter","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:58:10Z","timestamp":1775055490000},"page":"133-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Contractions of\u00a0Quasi Relation Algebras and\u00a0Applications to\u00a0Representability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4787-3760","authenticated-orcid":false,"given":"Andrew","family":"Craig","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0948-856X","authenticated-orcid":false,"given":"Wilmari","family":"Morton","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7789-4880","authenticated-orcid":false,"given":"Claudette","family":"Robinson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E Codd","year":"1970","unstructured":"Codd, E.: A relational model for large shared databanks. Commun. ACM 13, 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Comer, S.D.: Extension of polygroups by polygroups and their representations using color schemes. In: Universal Algebra and Lattice Theory, LNM 1004, Freese et al. (eds), pp. 91\u2013103 (1983)","DOI":"10.1007\/BFb0063431"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Craig, A., Jipsen, P., Robinson, C.: Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras, In: RAMiCS 2024, LNCS 14787, Fahrenburg et al. (eds.), pp. 156\u2013174 (2024)","DOI":"10.1007\/978-3-031-68279-7_10"},{"key":"8_CR5","unstructured":"Craig, A., Jipsen, P., Robinson, C.: Distributive involutive residuated lattices up to cardinality 8. https:\/\/github.com\/jipsen\/Distributive-quasi-relation-algebras-and-DInFL"},{"key":"8_CR6","unstructured":"Craig, A., Morton, W., Robinson, C.: Representability for distributive quasi relation algebras via nested sums. Accepted. https:\/\/arxiv.org\/abs\/2503.06657"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/s00012-025-00884-w","volume":"86","author":"A Craig","year":"2025","unstructured":"Craig, A., Robinson, C.: Representable distributive quasi relation algebras. Algebra Universalis 86, 12 (2025)","journal-title":"Algebra Universalis"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10462-004-5899-8","volume":"23","author":"I D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Artif. Intell. Rev. 23, 315\u2013357 (2005)","journal-title":"Artif. Intell. Rev."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-012-0215-y","volume":"69","author":"N Galatos","year":"2013","unstructured":"Galatos, N., Jipsen, P.: Relation algebras as expanded FL-algebras. Algebra Universalis 69, 1\u201321 (2013)","journal-title":"Algebra Universalis"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00012-020-00663-9","volume":"81","author":"N Galatos","year":"2020","unstructured":"Galatos, N., Jipsen, P.: The structure of generalized BI-algebras and weakening relation algebras. Algebra Universalis 81, 35 (2020)","journal-title":"Algebra Universalis"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Galatos, N., Jipsen, P.: Weakening relation algebras and FL$$^2$$-algebras, In: RAMiCS 2020, LNCS 12062, Fahrenberg et al. (eds.), pp. 117\u2013133 (2020)","DOI":"10.1007\/978-3-030-43520-2_8"},{"key":"8_CR12","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Givant, S., Andr\u00e9ka, H.: Simple Relation Algebras, Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67696-8","DOI":"10.1007\/978-3-319-67696-8"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/s00012-021-00718-5","volume":"82","author":"R Hirsch","year":"2021","unstructured":"Hirsch, R., \u0160emrl, J.: Finite representability of semigroups with demonic refinement. Algebra Universalis 82, 28 (2021)","journal-title":"Algebra Universalis"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Jipsen, P., \u0160emrl, J.: Representable and diagonally representable weakening relation algebras. In: RAMiCS 2023, LNCS 13896, Gl\u00fcck et al. (eds.), pp. 140\u2013157 (2023)","DOI":"10.1007\/978-3-031-28083-2_9"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson, B.: Varieties of relation algebras. Algebra Universalis 15, 273\u2013298 (1982)","journal-title":"Algebra Universalis"},{"key":"8_CR17","first-page":"89","volume":"54","author":"B J\u00f3nsson","year":"1948","unstructured":"J\u00f3nsson, B., Tarski, A.: Representation problems for relation algebras. Bull. AMS 54, 89 (1948)","journal-title":"Bull. AMS"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"72","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators (II). Am. J. Math. 72, 127\u2013162 (1952)","journal-title":"Am. J. Math."},{"key":"8_CR19","volume-title":"Relation Algebras","author":"RD Maddux","year":"2006","unstructured":"Maddux, R.D.: Relation Algebras. Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam (2006)"},{"key":"8_CR20","unstructured":"McKenzie, R.N.: The representation of relation algebras. PhD thesis, University of Colorado, Boulder (1966)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Van den Bussche, J.: Applications of Alfred Tarski\u2019s ideas in database theory. In: CSL 2001, LNCS 2142, Fribourg, L. (Ed.), pp. 20\u201337, (2001)","DOI":"10.1007\/3-540-44802-0_2"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22469-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:58:12Z","timestamp":1775055492000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22469-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032224682","9783032224699"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22469-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"B\u0119dlewo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}