{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T05:41:06Z","timestamp":1744177266560},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_11","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"153-168","source":"Crossref","is-referenced-by-count":2,"title":["Interoperability between Bioinformatics Tools: A Logic Programming Approach"],"prefix":"10.1007","author":[{"given":"Juan R.","family":"Iglesias","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Desh","family":"Ranjan","sequence":"additional","affiliation":[]},{"given":"Brook","family":"Milligan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"11_CR1","first-page":"526","volume":"2","author":"S.F. Altschul","year":"1985","unstructured":"S.F. Altschul and B.W. Erickson. Significance of nucleotide sequence alignments. Mol. Biol. Evol., 2:526\u2013538, 1985.","journal-title":"Mol. Biol. Evol."},{"key":"11_CR2","unstructured":"J. Felsenstein. PHYLIP: Phylogeny inference package, version 3.5c, 1993."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"G. Gupta. Horn Logic Denotations andTheir Applications. In The Logic Programming Paradigm: The next 25 years, Springer Verlag, May 1999, pp. 127\u2013160.","DOI":"10.1007\/978-3-642-60085-2_6"},{"key":"11_CR4","unstructured":"G. Gupta and E. Pontelli. A Horn logic denotational framework for specification, implementation, and verification of domain specific languages. T.R., NMSU, 1999."},{"key":"11_CR5","first-page":"626","volume":"5","author":"K. Hayasaka","year":"1988","unstructured":"K. Hayasaka, T. Gojobori, and S. Horai. Molecular phylogeny andev olution of primate mitochondrial DNA. Mol. Biol. Evol, 5:626\u2013644, 1988.","journal-title":"Mol. Biol. Evol"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0076-6879(96)66024-8","volume":"266","author":"D. G. Higgins","year":"1996","unstructured":"D. G. Higgins, J. D. Thompson, and T. J. Gibson. Using CLUSTAL for multiple sequence alignments. Methods in Enzymology, 266:383\u2013402, 1996.","journal-title":"Methods in Enzymology"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"A. Karshmer, G. Gupta, S. Geiger, C. Weaver. Reading and Writing Mathematics: the MAVIS Project. Behavior and Information Technology, 18(1), 1999.","DOI":"10.1080\/014492999119192"},{"key":"11_CR8","unstructured":"P.O. Lewis. NEXUS Class Library. lewis.eeb.uconn.edu\/lewishome\/ncl2."},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"590","DOI":"10.2307\/2413497","volume":"464","author":"D.R. Maddison","year":"1997","unstructured":"D.R. Maddison, D.L. Swofford, and W.P. Maddison. NEXUS: An Extensible File Format for Systematic Information. Syst. Biol., 464(4):590\u2013621, 1997.","journal-title":"Syst. Biol."},{"key":"11_CR10","unstructured":"W.P. Maddison and D.R. Maddison. MacClade: Analysis of phylogeny and character evolution, version 3.07. Sinauer, Sunderland, Massachusetts, 1997."},{"key":"11_CR11","unstructured":"R. Page. A NEXUS Data Editor for Windows. taxonomy.zoology.gla.ac.uk\/rod."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, et al. A Domain Specific Language for Non-Visual Browsing of Complex HTML Structures. ACM Conf. on Assistive Technologies, 2000.","DOI":"10.1145\/354324.354373"},{"key":"11_CR13","unstructured":"P. Reintjes. MULTI\/PLEX: An AI tool for formal languages. Unpubl., 1994."},{"key":"11_CR14","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1996."},{"key":"11_CR15","unstructured":"D. L. Swofford. PAUP: phylogenetic analysis using parsimony, version 3.0. Technical report, Illinois Natural History Survey, 1989."},{"key":"11_CR16","unstructured":"G. van Noord. Prolog(Elex): A tool to generate Prolog tokenizers. Unpubl., 1997."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:08:13Z","timestamp":1556816893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}