{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T06:41:37Z","timestamp":1720334497794},"reference-count":8,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T00:00:00Z","timestamp":1706313600000},"content-version":"am","delay-in-days":179,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100016394","name":"ANR","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100016394","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-21-CE48-0011"],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1016\/j.ipl.2023.106359","type":"journal-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T16:51:11Z","timestamp":1673369471000},"page":"106359","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["An undecidability result for Separation Logic with theory reasoning"],"prefix":"10.1016","volume":"182","author":[{"given":"Mnacho","family":"Echenim","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-8943-7000","authenticated-orcid":false,"given":"Nicolas","family":"Peltier","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ipl.2023.106359_br0010","series-title":"Proc. of CADE-24","article-title":"The tree width of separation logic with recursive definitions","volume":"vol. 7898","author":"Iosif","year":"2013"},{"key":"10.1016\/j.ipl.2023.106359_br0020","series-title":"ACM SIGPLAN Notices","first-page":"14","article-title":"Bi as an assertion language for mutable data structures","volume":"vol. 36","author":"Ishtiaq","year":"2001"},{"key":"10.1016\/j.ipl.2023.106359_br0030","series-title":"Proc. of LICS'02","article-title":"Separation logic: a logic for shared mutable data structures","author":"Reynolds","year":"2002"},{"key":"10.1016\/j.ipl.2023.106359_br0040","series-title":"ATVA 2014, Proceedings","first-page":"201","article-title":"Deciding entailments in inductive separation logic with tree automata","volume":"vol. 8837","author":"Iosif","year":"2014"},{"key":"10.1016\/j.ipl.2023.106359_br0050","series-title":"LPAR-23","first-page":"390","article-title":"Beyond symbolic heaps: deciding separation logic with inductive definitions","volume":"vol. 73","author":"Pagel","year":"2020"},{"key":"10.1016\/j.ipl.2023.106359_br0060","series-title":"CAV 2013, Proceedings","first-page":"773","article-title":"Automating separation logic using SMT","author":"Piskac","year":"2013"},{"key":"10.1016\/j.ipl.2023.106359_br0070","series-title":"ACM SIGPLAN PLDI '13","first-page":"231","article-title":"Natural proofs for structure, data, and separation","author":"Qiu","year":"2013"},{"key":"10.1016\/j.ipl.2023.106359_br0080","series-title":"CADE 26","first-page":"509","article-title":"Satisfiability of compositional separation logic with tree predicates and data constraints","volume":"vol. 10395","author":"Xu","year":"2017"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000029?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000029?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T15:35:35Z","timestamp":1684251335000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019023000029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":8,"alternative-id":["S0020019023000029"],"URL":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106359","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"An undecidability result for Separation Logic with theory reasoning","name":"articletitle","label":"Article Title"},{"value":"Information Processing Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106359","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"106359"}}