{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:03Z","timestamp":1725488943225},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_30","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T03:18:26Z","timestamp":1186888706000},"page":"363-376","source":"Crossref","is-referenced-by-count":17,"title":["Combining Multisets with Integers"],"prefix":"10.1007","author":[{"given":"Calogero G.","family":"Zarba","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. ACM Transactions on Programming Languages and Systems, 1(2):245\u2013257, 1979.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"30_CR2","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1145\/322276.322287","volume":"28","author":"C. H. Papadimitriou","year":"1981","unstructured":"Christos H. Papadimitriou. On the complexity of integer programming. Journal of the Association for Computing Machinery, 28(4):765\u2013768, 1981.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Cesare Tinelli and Mehdi T. Harandi. A new correctness proof of the Nelson-Oppen combination procedure. In Franz Baader and Klaus U. Schulz, editors, Frontiers of Combining Systems, volume 3 of Applied Logic Series, pages 103\u2013120. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_5"},{"key":"30_CR4","series-title":"Technical Report DII 11\/01","first-page":"170","volume-title":"International Joint Conference on Automated Reasoning (Short Papers)","author":"C. G. Zarba","year":"2001","unstructured":"Calogero G. Zarba. Combining lists with integers. In Rajeev Gor\u00e9, Alexander Leitsch, and Tobias Nipkow, editors, International Joint Conference on Automated Reasoning (Short Papers), Technical Report DII 11\/01, pages 170\u2013179. University of Siena, Italy, 2001."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Calogero G. Zarba. Combining sets with integers. In Alessandro Armando, editor, Frontiers of Combining Systems, volume 2309 of Lecture Notes in Artificial Intelligence, pages 103\u2013116. Springer, 2002.","DOI":"10.1007\/3-540-45988-X_9"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T12:09:47Z","timestamp":1550750987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}