{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:18:30Z","timestamp":1774365510112,"version":"3.50.1"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,13]],"date-time":"2011-03-13T00:00:00Z","timestamp":1299974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,3,13]],"date-time":"2011-03-13T00:00:00Z","timestamp":1299974400000},"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":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s10710-011-9132-7","type":"journal-article","created":{"date-parts":[[2011,3,12]],"date-time":"2011-03-12T02:22:29Z","timestamp":1299896549000},"page":"305-327","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware"],"prefix":"10.1007","volume":"12","author":[{"given":"Zdenek","family":"Vasicek","sequence":"first","affiliation":[]},{"given":"Lukas","family":"Sekanina","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,13]]},"reference":[{"key":"9132_CR1","doi-asserted-by":"crossref","unstructured":"F.V. Andrade, M.C.M. Oliveira, A.O. Fernandes, C.J.N. Coelho, Sat-based equivalence checking based on circuit partitioning and special approaches for conflict clause reuse, in IEEE Design and Diagnostics of Electronic Circuits and Systems (IEEE Comp. Society, 2007), pp. 1\u20136","DOI":"10.1109\/DDECS.2007.4295319"},{"key":"9132_CR2","doi-asserted-by":"crossref","unstructured":"F.V. Andrade, L.M. Silva, A.O. Fernandes, in 26th International Conference on Computer Design, ICCD 2008. Improving SAT-based combinational equivalence checking through circuit preprocessing, 40\u201345 (2008)","DOI":"10.1109\/ICCD.2008.4751838"},{"key":"9132_CR3","unstructured":"Berkley Logic Synthesis and Verification Group: ABC: A System for Sequential Synthesis and verification. http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/"},{"key":"9132_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R.K. Brayton","year":"1984","unstructured":"R.K. Brayton, G.D. Hachtel, C.T. McMullen, A.L. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis. (Kluwer, Boston, MA, USA, 1984)"},{"issue":"2","key":"9132_CR5","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TCAD.2006.887922","volume":"26","author":"J. Cong","year":"2007","unstructured":"J. Cong, K. Minkovich, Optimality study of logic synthesis for LUT-based FPGAs. IEEE Trans. Comput. Aided Des. Integ. Circuits Syst. 26(2), 230\u2013239 (2007)","journal-title":"IEEE Trans. Comput. Aided Des. Integ. Circuits Syst."},{"key":"9132_CR6","doi-asserted-by":"crossref","unstructured":"S. Disch, C. Schollm, in Asia and South Pacific Design Automation Conference. Combinational equivalence checking using incremental SAT solving, output ordering, and resets (2007), pp. 938\u2013943","DOI":"10.1109\/ASPDAC.2007.358110"},{"key":"9132_CR7","volume-title":"Advanced BDD Optimization","author":"R. Ebendt","year":"2000","unstructured":"R. Ebendt, G. Fey, R. Drechsler, Advanced BDD Optimization. (Springer, Berlin, 2000)"},{"key":"9132_CR8","doi-asserted-by":"crossref","unstructured":"N. Een, A. Mishchenko, N. Sorensson, Applying logic synthesis for speeding up SAT, in Theory and Applications of Satisfiability Testing, LNCS, vol. 4501 (Springer, Berlin, 2007), pp. 272\u2013286","DOI":"10.1007\/978-3-540-72788-0_26"},{"key":"9132_CR9","unstructured":"N. Een, N. Sorensson, MiniSAT. http:\/\/minisat.se"},{"key":"9132_CR10","unstructured":"P. Fiser, J. Schmidt, in Proceedings of 8th International Workshop on Boolean Problems. Small but nasty logic synthesis examples (2008), pp. 183\u2013190"},{"key":"9132_CR11","doi-asserted-by":"crossref","unstructured":"H. de Garis, in International Conference on Artificial Neural Networks and Genetic Algorithms ICANNGA\u201993. Evolvable Hardware\u2014Genetic Programming of a Darwin Machine. Innsbruck, Austria (1993)","DOI":"10.1007\/978-3-7091-7533-0_64"},{"key":"9132_CR12","doi-asserted-by":"crossref","unstructured":"K. Glette, J. Torresen, M. Yasunaga, in Applications of Evolutinary Computing, EvoWorkshops 2007, LNCS, vol. 4448. An Online EHW Pattern Recognition System Applied to Face Image Recognition (Springer, 2007), pp. 271\u2013280","DOI":"10.1007\/978-3-540-71805-5_30"},{"key":"9132_CR13","unstructured":"E. Goldberg, M. Prasad, R. Brayton, in DATE \u201901: Proceedings of the Conference on Design, Automation and Test in Europe. Using SAT for combinational equivalence checking (IEEE Press, Piscataway, NJ, USA, 2001), pp. 114\u2013121"},{"key":"9132_CR14","doi-asserted-by":"crossref","unstructured":"T.G.H. Gordon, P.J. Bentley, in Handbook of Nature-Inspired and Innovative Computing, ed. by A.Y. Zomaya. Evolving hardware (Springer, UK, 2006), pp. 387\u2013432","DOI":"10.1007\/0-387-27705-6_12"},{"key":"9132_CR15","doi-asserted-by":"crossref","unstructured":"T.G.W. Gordon, P.J. Bentley, in Proceedings of the 2002 NASA\/DoD Conference on Evolvable Hardware. Towards development in evolvable hardware (IEEE Computer Society Press, Washington, DC, US 2002), pp. 241\u2013250","DOI":"10.1109\/EH.2002.1029890"},{"key":"9132_CR16","volume-title":"Introduction to Evolvable Hardware","author":"G. Greenwood","year":"2007","unstructured":"G. Greenwood, A.M. Tyrrell, Introduction to Evolvable Hardware. (IEEE Press, New York, 2007)"},{"key":"9132_CR17","doi-asserted-by":"crossref","unstructured":"P.C. Haddow, G. Tufte, P. van Remortel, in Proceedings of the 4th International Conference on Evolvable Systems: From Biology to Hardware, LNCS, vol. 2210. Shrinking the genotype: L-systems for EHW? (Springer, Berlin, 2001), pp. 128\u2013139","DOI":"10.1007\/3-540-45443-8_11"},{"key":"9132_CR18","doi-asserted-by":"crossref","unstructured":"S. Harding, J.F. Miller, W. Banzhaf, in 2009 IEEE Congress on Evolutionary Computation. Self Modifying Cartesian Genetic Programming: Parity (IEEE Press, New York, 2009), pp. 285\u2013292","DOI":"10.1109\/CEC.2009.4982960"},{"issue":"3","key":"9132_CR19","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/4235.788492","volume":"3","author":"T. Higuchi","year":"1999","unstructured":"T. Higuchi, M. Iwata, D. Keymeulen, H. Sakanashi, M. Murakawa, I. Kajitani, E. Takahashi, K. Toda, M. Salami, N. Kajihara, N. Otsu, Real-world applications of analog and digital evolvable hardware. IEEE Trans. Evol. Comput. 3(3), 220\u2013235 (1999)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9132_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-31238-2","volume-title":"Evolvable Hardware","author":"T. Higuchi","year":"2006","unstructured":"T. Higuchi, Y. Liu, X. Yao, Evolvable Hardware. (Springer, Berlin, 2006)"},{"key":"9132_CR21","doi-asserted-by":"crossref","unstructured":"T. Higuchi, T. Niwa, T. Tanaka, H. Iba, H. de Garis, T. Furuya, in Proceedings of the 2nd International Conference on Simulated Adaptive Behaviour. Evolving Hardware with Genetic Learning: A First Step Towards Building a Darwin Machine (MIT Press, 1993), pp. 417\u2013424","DOI":"10.7551\/mitpress\/3116.003.0056"},{"key":"9132_CR22","doi-asserted-by":"crossref","unstructured":"G. Hornby, A. Globus, D. Linden, J. Lohn, in Proc. 2006 AIAA Space Conference. Automated Antenna Design with Evolutionary Algorithms (AIAA, San Jose, CA, 2006), p. 8","DOI":"10.2514\/6.2006-7242"},{"key":"9132_CR23","doi-asserted-by":"crossref","unstructured":"K. Imamura, J.A. Foster, A.W. Krings, in Proceedings of the 2nd NASA\/DoD Workshop on Evolvable Hardware. The Test Vector Problem and Limitations to Evolving Digital Circuits (IEEE Computer Society Press, 2000), pp. 75\u201379","DOI":"10.1109\/EH.2000.869344"},{"key":"9132_CR24","doi-asserted-by":"crossref","unstructured":"T. Kalganova, J.F. Miller, in The First NASA\/DoD Workshop on Evolvable Hardware. Evolving More Efficient Digital Circuits by Allowing Circuit Layout Evolution and Multi-Objective Fitness (IEEE Computer Society, Pasadena, California, 1999), pp. 54\u201363","DOI":"10.1109\/EH.1999.785435"},{"key":"9132_CR25","doi-asserted-by":"crossref","unstructured":"H. Katebi, I.L. Markov, in Design, Automation and Test in Europe, DATE 2010. Large-Scale Boolean Matching (IEEE, 2010), pp. 771\u2013776","DOI":"10.1109\/DATE.2010.5456949"},{"key":"9132_CR26","doi-asserted-by":"crossref","unstructured":"P. Kaufmann, M. Platzner, Proceedings of Genetic and Evolutionary Computation Conference, GECCO 2008. Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming (ACM, 2008), pp. 1219\u20131226","DOI":"10.1145\/1389095.1389334"},{"key":"9132_CR27","doi-asserted-by":"crossref","unstructured":"D. Keymeulen, M. Durantez, K. Konaka, Y. Kuniyoshi, T. Higuchi, in Proceedings of the 1st International Conference on Evolvable Systems: From Biology to Hardware ICES\u201996, LNCS, vol. 1259, eds. by T. Higuchi, M. Iwata, W. Liu. An Evolutionary Robot Navigation System Using a Gate-Level Evolvable Hardware (Springer, Tsukuba, Japan, 1997), pp. 195\u2013209","DOI":"10.1007\/3-540-63173-9_47"},{"key":"9132_CR28","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J.R. Koza","year":"1994","unstructured":"J.R. Koza, Genetic Programming II: Automatic Discovery of Reusable Programs. (MIT Press, Cambridge, MA, 1994)"},{"key":"9132_CR29","volume-title":"Genetic Programming III: Darwinian Invention and Problem Solving","author":"J.R. Koza","year":"1999","unstructured":"J.R. Koza, F.H. Bennett, D. Andre, M.A. Keane, Genetic Programming III: Darwinian Invention and Problem Solving. (Morgan Kaufmann Publishers, San Francisco, CA, 1999)"},{"key":"9132_CR30","volume-title":"Genetic Programming IV: Routine Human-Competitive Machine Intelligence","author":"J.R. Koza","year":"2003","unstructured":"J.R. Koza, M.A. Keane, M.J. Streeter, W. Mydlowec, J. Yu, G. Lanza, Genetic Programming IV: Routine Human-Competitive Machine Intelligence. (Kluwer, Dordrecht, 2003)"},{"issue":"4","key":"9132_CR31","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1109\/5.842998","volume":"88","author":"D. Mange","year":"2000","unstructured":"D. Mange, M. Sipper, A. Stauffer, G. Tempesti, Towards robust integrated circuits: the embryonics approach. Proc. IEEE 88(4), 516\u2013541 (2000)","journal-title":"Proc. IEEE"},{"issue":"1","key":"9132_CR32","first-page":"8","volume":"1","author":"J.F. Miller","year":"2000","unstructured":"J.F. Miller, D. Job, V.K. Vassilev, Principles in the evolutionary design of digital circuits\u2014part I. Genetic Programm. Evol. Mach. 1(1), 8\u201335 (2000)","journal-title":"Genetic Programm. Evol. Mach."},{"issue":"2","key":"9132_CR33","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/TEVC.2006.871253","volume":"10","author":"J.F. Miller","year":"2006","unstructured":"J.F. Miller, S.L. Smith, Redundancy and computational efficiency in cartesian genetic programming. IEEE Trans. Evol. Comput. 10(2), 167\u2013174 (2006)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9132_CR34","doi-asserted-by":"crossref","unstructured":"J.F. Miller, P. Thomson, in Proceedings of the 3rd European Conference on Genetic Programming EuroGP2000, LNCS, vol. 1802. Cartesian Genetic Programming (Springer, 2000), pp. 121\u2013132","DOI":"10.1007\/978-3-540-46239-2_9"},{"key":"9132_CR35","doi-asserted-by":"crossref","unstructured":"M. Murakawa, S. Yoshizawa, I. Kajitani, T. Furuya, M. Iwata, T. Higuchi, in Parallel Problem Solving from Nature\u2014PPSN IV, LNCS, vol. 1141. Evolvable Hardware at Function Level (Springer, 1996), pp. 62\u201371","DOI":"10.1007\/3-540-61723-X_970"},{"issue":"3","key":"9132_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1367045.1367063","volume":"13","author":"T. Pecenka","year":"2008","unstructured":"T. Pecenka, L. Sekanina, Z. Kotasek, Evolution of synthetic RTL benchmark circuits with predefined testability. ACM Trans. Des. Autom. Electron. Syst. 13(3), 1\u201321 (2008)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"issue":"1\u20132","key":"9132_CR37","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1010068314282","volume":"1","author":"R. Poli","year":"2000","unstructured":"R. Poli, J. Page, Solving high-order boolean parity problems with smooth uniform crossover, sub-machine code gp and demes. Genetic Programm. Evol. Mach. 1(1\u20132), 37\u201356 (2000)","journal-title":"Genetic Programm. Evol. Mach."},{"key":"9132_CR38","doi-asserted-by":"crossref","unstructured":"L. Sekanina, in Applications of Evolutionary Computing\u2014Proceedings of the 4th Workshop on Evolutionary Computation in Image Analysis and Signal Processing EvoIASP\u201902, LNCS, vol. 2279. Image Filter Design with Evolvable Hardware (Springer Verlag, Kinsale, Ireland, 2002), pp. 255\u2013266","DOI":"10.1007\/3-540-46004-7_26"},{"key":"9132_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18609-7","volume-title":"Evolvable Components: From Theory to Hardware Implementations","author":"L. Sekanina","year":"2004","unstructured":"L. Sekanina, Evolvable Components: From Theory to Hardware Implementations. (Natural Computing Series, Springer, Berlin, 2004)"},{"key":"9132_CR40","unstructured":"E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, A. Sangiovanni-vincentelli, Sis: A system for sequential circuit synthesis. Technical report, University California, Berkeley (1992)"},{"issue":"2","key":"9132_CR41","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1016\/j.asoc.2008.08.004","volume":"9","author":"A.P. Shanthi","year":"2009","unstructured":"A.P. Shanthi, R. Parthasarathi, Practical and scalable evolution of digital circuits. Appl. Soft Comput. 9(2), 618\u2013624 (2009)","journal-title":"Appl. Soft Comput."},{"key":"9132_CR42","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1162\/106454603322221487","volume":"9","author":"K.O. Stanley","year":"2003","unstructured":"K.O. Stanley, R. Miikkulainen, A taxonomy for artificial embryogeny. Artif. Life 9, 93\u2013130 (2003)","journal-title":"Artif. Life"},{"issue":"5","key":"9132_CR43","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/TSMCB.2006.872259","volume":"36","author":"E. Stomeo","year":"2006","unstructured":"E. Stomeo, T. Kalganova, C. Lambert, Generalized disjunction decomposition for evolvable hardware. IEEE Trans. Syst. Man Cybernet. Part B 36(5), 1024\u20131043 (2006)","journal-title":"IEEE Trans. Syst. Man Cybernet. Part B"},{"key":"9132_CR44","doi-asserted-by":"crossref","unstructured":"J. Torresen, in Proceedings of the 2nd International Conference on Evolvable Systems: From Biology to Hardware ICES\u201998, LNCS, vol. 1478, eds. by M. Sipper, D. Mange, A. Perez-Uribe. A Divide-and-Conquer Approach to Evolvable Hardware (Springer, Lausanne, Switzerland, 1998), pp. 57\u201365","DOI":"10.1007\/BFb0057607"},{"issue":"3","key":"9132_CR45","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1020163325179","volume":"3","author":"J. Torresen","year":"2002","unstructured":"J. Torresen, A scalable approach to evolvable hardware. Genetic Programm. Evol. Mach. 3(3), 259\u2013282 (2002)","journal-title":"Genetic Programm. Evol. Mach."},{"key":"9132_CR46","doi-asserted-by":"crossref","unstructured":"G.S. Tseitin, in Studies in Constructive Mathematics and Mathematical Logic, Part II. On the Complexity of Derivation in Propositional Calculus (1968), pp. 115\u2013125","DOI":"10.1007\/978-1-4899-5327-8_25"},{"issue":"4","key":"9132_CR47","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s11047-005-3665-8","volume":"4","author":"G. Tufte","year":"2005","unstructured":"G. Tufte, P.C. Haddow, Towards development on a silicon-based cellular computing machine. Nat. Comput. 4(4), 387\u2013416 (2005)","journal-title":"Nat. Comput."},{"key":"9132_CR48","doi-asserted-by":"crossref","unstructured":"Z. Vasicek, M. Zadnik, L. Sekanina, J. Tobola, in Proceedings of the 8th Conference on Evolvable Systems: From Biology to Hardware, LNCS, vol. 5216. On Evolutionary Synthesis of Linear Transforms in FPGA (Springer, Berlin, 2008), pp. 141\u2013152","DOI":"10.1007\/978-3-540-85857-7_13"},{"key":"9132_CR49","doi-asserted-by":"crossref","unstructured":"V. Vassilev, D. Job, J.F. Miller, in Proceedings of the 2nd NASA\/DoD Workshop on Evolvable Hardware, eds. by J. Lohn, A. Stoica, D. Keymeulen, S. Colombano. Towards the Automatic Design of More Efficient Digital Circuits (IEEE Computer Society, Los Alamitos, CA, USA, 2000), pp. 151\u2013160","DOI":"10.1109\/EH.2000.869353"},{"key":"9132_CR50","doi-asserted-by":"crossref","unstructured":"M.N. Velev, Efficient translation of boolean formulas to CNF in formal verification of microprocessors, in Asia South Pacific Design Automation Conference (IEEE Computer Society, 2004), pp. 310\u2013315","DOI":"10.1109\/ASPDAC.2004.1337587"},{"issue":"4","key":"9132_CR51","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TEVC.2007.903549","volume":"12","author":"J.A. Walker","year":"2008","unstructured":"J.A. Walker, J.F. Miller, The automatic acquisition, evolution and re-use of modules in cartesian genetic programming. IEEE Trans. Evol. Comput. 12(4), 397\u2013417 (2008)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9132_CR52","volume-title":"Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook","author":"S. Yanushkevich","year":"2006","unstructured":"S. Yanushkevich, D.M. Miller, V.P. Shmerko, R.S. Stankovic, Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook. (CRC, Boca Raton, 2006)"},{"issue":"1","key":"9132_CR53","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/5326.740672","volume":"29","author":"X. Yao","year":"1999","unstructured":"X. Yao, T. Higuchi, Promises and challenges of evolvable hardware. IEEE Trans. Syst. Man Cybernet. Part C 29(1), 87\u201397 (1999)","journal-title":"IEEE Trans. Syst. Man Cybernet. Part C"},{"key":"9132_CR54","volume-title":"Evolutionary Electronics\u2014Automatic Design of Electronic Circuits and Systems by Genetic Algorithms","author":"R. Zebulum","year":"2002","unstructured":"R. Zebulum, M. Pacheco, M. Vellasco, Evolutionary Electronics\u2014Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. (The CRC Press International Series on Computational Intelligence, Boca Raton, 2002)"},{"key":"9132_CR55","doi-asserted-by":"crossref","unstructured":"S. Zhan, J.F. Miller, A.M. Tyrrell, in Proc. of the 8th Int. Conference on Evolvable Systems: From Biology to Hardware, LNCS,, vol. 5216. A Developmental Gene Regulation Network for Constructing Electronic Circuits (Springer, Berlin, 2008), pp. 177\u2013188","DOI":"10.1007\/978-3-540-85857-7_16"}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-011-9132-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10710-011-9132-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-011-9132-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-011-9132-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T12:43:00Z","timestamp":1736858580000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10710-011-9132-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,13]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9132"],"URL":"https:\/\/doi.org\/10.1007\/s10710-011-9132-7","relation":{},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"value":"1389-2576","type":"print"},{"value":"1573-7632","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,13]]},"assertion":[{"value":"1 September 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2011","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2011","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}