{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:32:59Z","timestamp":1725535979653},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029585"},{"type":"electronic","value":"9783642029592"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02959-2_5","type":"book-chapter","created":{"date-parts":[[2009,7,25]],"date-time":"2009-07-25T05:02:22Z","timestamp":1248498142000},"page":"67-83","source":"Crossref","is-referenced-by-count":18,"title":["Locality Results for Certain Extensions of Theories with Bridging Functions"],"prefix":"10.1007","author":[{"given":"Viorica","family":"Sofronie-Stokkermans","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/S0890-5401(03)00020-8","volume":"183","author":"A. Armando","year":"2003","unstructured":"Armando, A., Ranise, S., Rusinowitch, M.: A rewriting approach to satisfiability procedures. Information and Computation\u00a0183(2), 140\u2013164 (2003)","journal-title":"Information and Computation"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190028","volume":"3","author":"C. Barrett","year":"2007","unstructured":"Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of inductive data types. Journal on Satisfiability, Boolean Modeling and Computation\u00a03, 1\u201317 (2007)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"11","key":"5_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2006.11.042","volume":"174","author":"M.P. Bonacina","year":"2007","unstructured":"Bonacina, M.P., Echenim, M.: Rewrite-based decision procedures. Electronic Notes in Theoretical Computer Science\u00a0174(11), 27\u201345 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-540-39910-0_10","volume-title":"Verification: Theory and Practice","author":"H. Comon-Lundh","year":"2004","unstructured":"Comon-Lundh, H., Treinen, R.: Easy intruder deductions. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 225\u2013242. Springer, Heidelberg (2004)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-540-71070-7_34","volume-title":"Automated Reasoning","author":"H. Comon-Lundh","year":"2008","unstructured":"Comon-Lundh, H.: Challenges in the automated verification of security protocols. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS, vol.\u00a05195, pp. 396\u2013409. Springer, Heidelberg (2008)"},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.ipl.2005.11.008","volume":"97","author":"S. Delaune","year":"2006","unstructured":"Delaune, S.: Easy intruder deduction problems with homomorphisms. Information Processing Letters\u00a097(6), 213\u2013218 (2006)","journal-title":"Information Processing Letters"},{"key":"5_CR7","first-page":"81","volume-title":"Sixteenth Annual IEEE Symposium on Logic in Computer Science","author":"H. Ganzinger","year":"2001","unstructured":"Ganzinger, H.: Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems. In: Sixteenth Annual IEEE Symposium on Logic in Computer Science, Boston, MA, USA, pp. 81\u201390. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"10","key":"5_CR8","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1016\/j.ic.2005.10.002","volume":"204","author":"H. Ganzinger","year":"2006","unstructured":"Ganzinger, H., Sofronie-Stokkermans, V., Waldmann, U.: Modular proof systems for partial functions with Evans equality. Information and Computation\u00a0204(10), 1453\u20131492 (2006)","journal-title":"Information and Computation"},{"key":"5_CR9","first-page":"403","volume-title":"Principles of Knowledge Representation and reasoning: Proceedings of the Third International Conference (KR 1992)","author":"R. Givan","year":"1992","unstructured":"Givan, R., McAllester, D.: New results on local inference relations. In: Principles of Knowledge Representation and reasoning: Proceedings of the Third International Conference (KR 1992), pp. 403\u2013412. Morgan Kaufmann Press, San Francisco (1992)"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/566385.566387","volume":"3","author":"R. Givan","year":"2002","unstructured":"Givan, R., McAllester, D.A.: Polynomial-time computation via local inference relations. ACM Transactions on Computational Logic\u00a03(4), 521\u2013541 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-78800-3_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Ihlemann","year":"2008","unstructured":"Ihlemann, C., Jacobs, S., Sofronie-Stokkermans, V.: On local reasoning in verification. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 265\u2013281. Springer, Heidelberg (2008)"},{"key":"5_CR12","series-title":"LNAI","first-page":"131","volume-title":"CADE 2009","author":"C. Ihlemann","year":"2009","unstructured":"Ihlemann, C., Sofronie-Stokkermans, V.: System description. H-PiLOT. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol.\u00a05663, pp. 131\u2013139. Springer, Heidelberg (2009)"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/322203.322204","volume":"27","author":"D.C. Oppen","year":"1980","unstructured":"Oppen, D.C.: Reasoning about recursively defined data structures. Journal of the ACM\u00a027(3), 403\u2013411 (1980)","journal-title":"Journal of the ACM"},{"key":"5_CR14","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11532231_16","volume-title":"Automated Deduction \u2013 CADE-20","author":"V. Sofronie-Stokkermans","year":"2005","unstructured":"Sofronie-Stokkermans, V.: Hierarchic reasoning in local theory extensions. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, pp. 219\u2013234. Springer, Heidelberg (2005)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-74621-8_3","volume-title":"Frontiers of Combining Systems","author":"V. Sofronie-Stokkermans","year":"2007","unstructured":"Sofronie-Stokkermans, V.: Hierarchical and modular reasoning in complex theories: The case of local theory extensions. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS, vol.\u00a04720, pp. 47\u201371. Springer, Heidelberg (2007)"},{"issue":"4-6","key":"5_CR16","first-page":"397","volume":"13","author":"V. Sofronie-Stokkermans","year":"2007","unstructured":"Sofronie-Stokkermans, V., Ihlemann, C.: Automated reasoning in some local extensions of ordered structures. Journal of Multiple-Valued Logics and Soft Computing\u00a013(4-6), 397\u2013414 (2007)","journal-title":"Journal of Multiple-Valued Logics and Soft Computing"},{"key":"5_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-85845-4_17","volume-title":"KI 2008: Advances in Artificial Intelligence","author":"V. Sofronie-Stokkermans","year":"2008","unstructured":"Sofronie-Stokkermans, V.: Efficient hierarchical reasoning about functions over numerical domains. In: Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.) KI 2008. LNCS (LNAI), vol.\u00a05243, pp. 135\u2013143. Springer, Heidelberg (2008)"},{"issue":"10","key":"5_CR18","doi-asserted-by":"publisher","first-page":"1526","DOI":"10.1016\/j.ic.2006.03.004","volume":"204","author":"T. Zhang","year":"2006","unstructured":"Zhang, T., Sipma, H., Manna, Z.: Decision procedures for term algebras with integer constraints. Information and Computation\u00a0204(10), 1526\u20131574 (2006)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-22"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02959-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T00:03:10Z","timestamp":1590019390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02959-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029585","9783642029592"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02959-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}