{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T05:36:25Z","timestamp":1744695385807},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209300"},{"type":"electronic","value":"9783540246282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24628-2_4","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T14:44:24Z","timestamp":1292597064000},"page":"32-36","source":"Crossref","is-referenced-by-count":1,"title":["RCA-Based Detection Methods for Resolution Refutation"],"prefix":"10.1007","author":[{"given":"In-Hee","family":"Lee","sequence":"first","affiliation":[]},{"given":"Ji Yoon","family":"Park","sequence":"additional","affiliation":[]},{"given":"Young-Gyu","family":"Chai","sequence":"additional","affiliation":[]},{"given":"Byoung-Tak","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Buss, S.R., Pitassi, T.: Resolution and theWeak Pigeonhole Principle. LNCS, vol.\u00a01414, pp. 149\u2013156 (1998)","DOI":"10.1007\/BFb0028012"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"1095","DOI":"10.1101\/gr.180501","volume":"11","author":"F.B. Dean","year":"2001","unstructured":"Dean, F.B., Nelson, J.R., Giesler, T.L., Lasken, R.S.: Rapid Amplificaion of Plasmid and Phage DNA using phi29 DNA Polymerase and Multiply-primed Rolling Circle Amplification. Genome Research\u00a011, 1095\u20131099 (2001)","journal-title":"Genome Research"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0378-1119(84)90153-7","volume":"28","author":"S. Henikoff","year":"1984","unstructured":"Henikoff, S.: Unidirectional Digestion with Exonuclease III Creates Targeted Breakpoints for DNA Sequencing. Gene\u00a028, 351\u2013359 (1984)","journal-title":"Gene"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1093\/nar\/30.2.574","volume":"30","author":"H. Kuhn","year":"2002","unstructured":"Kuhn, H., Demidov, V.V., Frank-Kamenetskii, M.D.: Rolling-circle Amplification under Topological Constraints. Nucleic Acid Research\u00a030(2), 574\u2013580 (2002)","journal-title":"Nucleic Acid Research"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Lee, I.-H., Park, J.-Y., Jang, H.-M., Chai, Y.-G., Zhang, B.-T.: DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. In: Proceedings of the Eighth International Meeting on DNA Based Computers, pp. 251\u2013260 (2002)","DOI":"10.1007\/3-540-36440-4_14"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0076-6879(80)65028-9","volume":"65","author":"S.G. Rogers","year":"1980","unstructured":"Rogers, S.G., Weiss, B.: Exonuclease III of Escherichia Coli K-12, an AP Endonuclease. Methods in Enzymology\u00a065, 201\u2013211 (1980)","journal-title":"Methods in Enzymology"},{"key":"4_CR7","unstructured":"Shin, S.-Y., Kim, D., Lee, I.-H., Zhang, B.-T.: Evolutionary Sequence Generation for Reliable DNA Computing. In: Proceedings of 2002 IEEE World Congress on Evolutionary Computation, pp. 79\u201384 (2002)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Uejima, H., Hagiya, M., Kobayashi, S.: Horn Clause Computation by Selfassembly of DNA Molecules. In: Proceedings of the Seventh International Meeting on DNA Based Computers, pp. 308\u2013320 (2001)","DOI":"10.1007\/3-540-48017-X_29"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/019697200124829","volume":"31","author":"P. Wasiewicz","year":"2000","unstructured":"Wasiewicz, P., Janczak, T., Mulawka, J.J., Plucienniczak, A.: The Inference based on Molecular Computing. International Journal of Cybernetics and Systems\u00a031(3), 283\u2013315 (2000)","journal-title":"International Journal of Cybernetics and Systems"}],"container-title":["Lecture Notes in Computer Science","DNA Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24628-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T21:05:37Z","timestamp":1637010337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24628-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209300","9783540246282"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24628-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}