{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:42:30Z","timestamp":1752460950375,"version":"3.41.2"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1023\/a:1011481521835","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T05:16:33Z","timestamp":1040620593000},"page":"173-200","source":"Crossref","is-referenced-by-count":6,"title":["A Constraint Based Structure Description Language for Biosequences"],"prefix":"10.1007","volume":"6","author":[{"given":"Ingvar","family":"Eidhammer","sequence":"first","affiliation":[]},{"given":"Inge","family":"Jonassen","sequence":"additional","affiliation":[]},{"given":"Svenn Helge","family":"Grindhaug","sequence":"additional","affiliation":[]},{"given":"David","family":"Gilbert","sequence":"additional","affiliation":[]},{"given":"Madu","family":"Ratnayake","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"322927_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1093\/nar\/12.1Part1.263","volume":"12","author":"R. M. Abarbanel","year":"1984","unstructured":"Abarbanel, R. M., Eiencke, P. R., Mansfield, E., Jaffe, D. A., & Brutlag, D. L. (1984). Rapid searches for complex patterns in biological molecules. Nucleic Acids Research, 12(1): 263\u2013280.","journal-title":"Nucleic Acids Research"},{"key":"322927_CR2","first-page":"10","volume-title":"Proceedings Second International Conference on Intelligent Systems for Molecular Biology","author":"R. B. Altman","year":"1994","unstructured":"Altman, R. B., Weiser, B., & Noller, H. F. (1994). Constraint satisfaction techniques for modeling large complexes: application to the central domain of 16S ribosomal RNA. In Proceedings Second International Conference on Intelligent Systems for Molecular Biology, pages 10\u201318. Menlo Park, CA: AAAI Press."},{"key":"322927_CR3","volume-title":"Bioinformatics: The Machine Learning Approach","author":"P. Baldi","year":"1998","unstructured":"Baldi, P., & Brunak, S. (1998). Bioinformatics: The Machine Learning Approach. Cambridge, MA: MIT Press."},{"issue":"9","key":"322927_CR4","doi-asserted-by":"crossref","first-page":"894","DOI":"10.1038\/nm0995-894","volume":"1","author":"L. Baranyi","year":"1995","unstructured":"Baranyi, L., Campell, W., Ohshima, K., Fujimoto, S., Boros, M., & Okada, H. (1995). The antisense homology box: a new motif within proteins that encodes biologically active peptides. Nature Medicine, 1(9): 894\u2013901.","journal-title":"Nature Medicine"},{"issue":"8","key":"322927_CR5","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.1093\/nar\/24.8.1395","volume":"24","author":"B. Billoud","year":"1996","unstructured":"Billoud, B., Kontic, M., & Viari, A. (1996). Palingol: a declarative language to describe nucleic acids' secondary structures and to scan sequence databases. Nucleic Acids Research, 24(8): 1395\u20131403.","journal-title":"Nucleic Acids Research"},{"key":"322927_CR6","series-title":"Technical Report","volume-title":"A pattern language for molecular biology","author":"A. Br\u0101zma","year":"1995","unstructured":"Br\u0101zma, A., & Gilbert, D. (1995). A pattern language for molecular biology. Technical Report 11, Department of Computer Science, City University, London."},{"issue":"2","key":"322927_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1089\/cmb.1998.5.279","volume":"5","author":"A. Br\u0101zma","year":"1998","unstructured":"Br\u0101zma, A., Jonassen, I., Eidhammer, I., & Gilbert, D. (1998). Approaches to the automatic discovery of patterns in biosequences. Journal of Computational Biology, 5(2): 277\u2013304.","journal-title":"Journal of Computational Biology"},{"key":"322927_CR8","unstructured":"Clark, D. A., & Rawlings, C. J. (1994). Constraint satisfaction in molecular biology. Tutorial at Second International Conference on Intelligent Systems for Molecular Biology."},{"key":"322927_CR9","first-page":"78","volume-title":"Proceedings Second International Conference on Intelligent Systems for Molecular Biology","author":"D. A. Clark","year":"1994","unstructured":"Clark, D. A., Rawlings, C. J., & Doursenot, S. (1994). Genetic map construction with constraints. In R. Altman, D. Brutlag, P. Karp, R. Lathrop and D. Searls, eds., Proceedings Second International Conference on Intelligent Systems for Molecular Biology, pages 78\u201386. Menlo Park, CA: AAAI Press."},{"key":"322927_CR10","first-page":"83","volume-title":"Proceedings First International Conference on Intelligent Systems for Molecular Biology","author":"D. A. Clark","year":"1993","unstructured":"Clark, D. A., Rawlings, C. J., Shirazi, J., Veron, A., & Reeve, M. (1993). Protein topology prediction through parallel constraint logic programming. In L. Hunter, D. Searls, and J. Shavlik eds., Proceedings First International Conference on Intelligent Systems for Molecular Biology, pages 83\u201391. Menlo Park, CA: AAAI Press."},{"key":"322927_CR11","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1093\/protein\/4.7.751","volume":"4","author":"D. A. Clark","year":"1992","unstructured":"Clark, D. A., Shirazi, J., & Rawlings, C. J. (1992). Protein topology prediction through constraint-based search and the evaluation of topological folding rules. Protein Engineering, 4: 751\u2013760.","journal-title":"Protein Engineering"},{"issue":"2","key":"322927_CR12","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0168-9525(00)88996-9","volume":"11","author":"T. Dandekar","year":"1995","unstructured":"Dandekar, T., & Hebtze, M. W. (1995). Finding the hairpin in the haystack: searching for RNA motifs. Trends in Genetics, 11(2): 45\u201350.","journal-title":"Trends in Genetics"},{"issue":"16","key":"322927_CR13","doi-asserted-by":"crossref","first-page":"4719","DOI":"10.1093\/nar\/18.16.4719","volume":"18","author":"T. Dandekar","year":"1990","unstructured":"Dandekar, T., & Sibbald, P. R. (1990). Trans-splicing of pre-mRNA is predicted to occur in a wide range of organisms including vertebrates. Nucleic Acids Research, 18(16): 4719\u20134725.","journal-title":"Nucleic Acids Research"},{"key":"322927_CR14","first-page":"774","volume-title":"Proceedings of the Tenth International Conference on Logic Programming","author":"D. Diaz","year":"1993","unstructured":"Diaz, D., & Codognet, P. (1993). A minimal extension of the WAM for clp(FD). In D. S. Warren, ed., Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, pages 774\u2013790. Cambridge, MA: The MIT Press."},{"key":"322927_CR15","doi-asserted-by":"crossref","unstructured":"Durbin, R., Eddy, S., Krough, A., & Mitchison, G. (1998). Biological Sequence Analysis. Cambridge University Press.","DOI":"10.1017\/CBO9780511790492"},{"key":"322927_CR16","unstructured":"Eddy, S., RNAbob User Guide, unpublished."},{"key":"322927_CR17","unstructured":"Eidhammer, I. (1993). Extending constraint satisfaction problems with value constraints. Technical Report 90, Department of Informatics, University of Bergen."},{"key":"322927_CR18","first-page":"121","volume-title":"Proceedings Third International Conference on Intelligent Systems for Molecular Biology","author":"M. Foucrault","year":"1995","unstructured":"Foucrault, M., & Major, F. (1995). Symbolic generation and clustering of RNA 3-D motifs. In C. J. Rawlings, D. A. Clark, R. Altman, L. Hunter, T. Lengauer and S. Wodak, eds., Proceedings Third International Conference on Intelligent Systems for Molecular Biology, pages 121\u2013126. Menlo Park, CA: AAAI Press."},{"key":"322927_CR19","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-55930-2_2","volume-title":"Logic Programming in Action","author":"T. Fr\u00fchwirth","year":"1992","unstructured":"Fr\u00fchwirth, T., Herold, A., K\u00fcchenhoff, V., Le Provost, T., Lim, P., Monfroy, E., & Wallace, M. (1992). Constraint logic programming: an informal introduction. In G. Comyn, N. E. Fuchs and M. J. Ratcliffe eds., Logic Programming in Action, LNCS 636, pages 3\u201335. New York: Springer-Verlag. (Also available as Technical Report ECRC\u201393\u20135.)"},{"key":"322927_CR20","unstructured":"Gaspin, C., & Westhof, E. (1994). The determination of the secondary structures of RNA as a constraint satisfaction problem. In S. Schultze-Kremer, ed., Advances in Molecular Bioinformatics, pages 103\u2013122. IOS Press."},{"key":"322927_CR21","first-page":"325","volume":"6","author":"D. Gautheret","year":"1990","unstructured":"Gautheret, D., Major, F., & Cedergren, R. (1990). Pattern searching\/alignment with RNA primary and secondary structures: an effective descriptor for tRNA. Computer Applications in the Biosciences, 6: 325\u2013331.","journal-title":"Computer Applications in the Biosciences"},{"key":"322927_CR22","series-title":"Massachusetts Institute of Technology","first-page":"339","volume-title":"Logic Programming\u2014Proceedings of the 1994 International Symposium","author":"C. Gervet","year":"1994","unstructured":"Gervet, C. (1994). Conjunto: constraint logic programming with finite set domains. In M. Bruynooghe ed., Logic Programming\u2014Proceedings of the 1994 International Symposium, Massachusetts Institute of Technology, pages 339\u2013358. Cambridge, MA: The MIT Press."},{"issue":"4","key":"322927_CR23","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1093\/bioinformatics\/15.4.317","volume":"15","author":"D. R. Gilbert","year":"1999","unstructured":"Gilbert, D. R., Westhead, D. R., Nagano, N., & Thornton, J. M. (1999). Motif-based searching in tops protein topology databases. Bioinformatics, 15(4): 317\u2013326.","journal-title":"Bioinformatics"},{"key":"322927_CR24","volume-title":"Coding and Information Theory","author":"R. Hamming","year":"1982","unstructured":"Hamming, R. (1982). Coding and Information Theory. Englewood Cliffs, NJ: Prentice Hall."},{"key":"322927_CR25","first-page":"172","volume-title":"Proceedings First International Conference on Intelligent Systems for Molecular Biology","author":"C. Helgesen","year":"1993","unstructured":"Helgesen, C., & Sibbald, P. (1993). PALM\u2014a pattern language for molecular biology. In L. Hunter, D. Searls, and J. Shavlik eds., Proceedings First International Conference on Intelligent Systems for Molecular Biology, pages 172\u2013180. Menlo Park, CA: AAAI Press."},{"key":"322927_CR26","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. V. Hentenryck","year":"1989","unstructured":"Hentenryck, P. V. (1989). Constraint Satisfaction in Logic Programming. Cambridge MA: MIT Press."},{"key":"322927_CR27","unstructured":"Hentenryck, P. V., & Deville, Y. (1991). The cardinality operator: a new logical connective for constraint logic programming. In Proceedings Eight International Conference on Logic Programming."},{"key":"322927_CR28","series-title":"LNCS","first-page":"395","volume-title":"PLILP91","author":"P. V. Hentenryck","year":"1991","unstructured":"Hentenryck, P. V., & Deville, Y. (1991). Operational semantics of constraint logic programming over finite domains. In J. Maluszy\u0144ski, and M. Wirsing, eds., PLILP91, number 528 in LNCS, pages 395\u2013406. Berlin: Springer-Verlag."},{"issue":"3\u20134","key":"322927_CR29","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/S0097-8485(99)00013-3","volume":"23","author":"I. L. Hofacker","year":"1999","unstructured":"Hofacker, I. L., & Stadler, P. F. (1999). Automatic detection of of conserved base pairing patterns in RNA virus genomes. Computation and Chemistry, 23(3\u20134): 401\u2013414.","journal-title":"Computation and Chemistry"},{"issue":"16","key":"322927_CR30","doi-asserted-by":"crossref","first-page":"3825","DOI":"10.1093\/nar\/26.16.3825","volume":"26","author":"I. L. Hofacker","year":"1998","unstructured":"Hofacker, I. L., Fekete, M., Flamm, C., Huynen, M. A., Rauscher, S., Stolorz, P. E., & Stadler, P. F. (1998). Automatic detection of conserved RNA structure elements in complete RNA virus genomes. Nucleic Acids Research, 26(16): 3825\u20133836.","journal-title":"Nucleic Acids Research"},{"issue":"1","key":"322927_CR31","first-page":"217","volume":"25","author":"K. Hofman","year":"1999","unstructured":"Hofman, K., Bucher, P., Felgnet, L., & Bairoch, A. (1999), The PROSITE database, its status in 1999. Nucleic Acids Research, 25(1): 217\u2013221.","journal-title":"Nucleic Acids Research"},{"issue":"2","key":"322927_CR32","first-page":"211","volume":"10","author":"A. Laferri\u00e8re","year":"1994","unstructured":"Laferri\u00e8re, A., Gautheret, D., & Cedergren, R. (1994). An RNA pattern matching program with enhanced performance and portability. Computer Applications in the Biosciences, 10(2): 211\u2013212.","journal-title":"Computer Applications in the Biosciences"},{"key":"322927_CR33","first-page":"231","volume-title":"Proceedings Third International Conference on Intelligent Systems for Molecular Biology","author":"S. Leishman","year":"1995","unstructured":"Leishman, S., Gray, P. M. D., & Fothergill, J. E. (1995). A constraint-based assignment system for automatic long side chain assignments in protein 2D NMR spectra. In C. J. Rawlings, D. A. Clark, R. Altman, L. Hunter, T. Lengauer, and S. Wodak, eds., Proceedings Third International Conference on Intelligent Systems for Molecular Biology, pages 231\u2013239. Menlo Park, CA: AAAI Press."},{"key":"322927_CR34","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/0888-7543(92)90432-R","volume":"12","author":"S. Letovsky","year":"1992","unstructured":"Letovsky, S., & Berlyn, M. B. (1992). CPRPO: a rule-based program for constructing genetic maps. Genomics, 12: 435\u2013446.","journal-title":"Genomics"},{"issue":"4","key":"322927_CR35","first-page":"845","volume":"163","author":"V. I. Levenshtein","year":"1965","unstructured":"Levenshtein, V. I. (1965). Binary codes capable of correcting deletions, insertions, and reversals. Doklady Akademii nauk SSSR (in Russian), 163(4): 845\u2013848. Also in Cybernetics and Control Theory, 10(8): 707\u2013710, 1996.","journal-title":"Doklady Akademii nauk SSSR (in Russian)"},{"key":"322927_CR36","doi-asserted-by":"crossref","first-page":"1255","DOI":"10.1126\/science.1716375","volume":"253","author":"F. Major","year":"1991","unstructured":"Major, F., Turcotte, M., Gautheret, D., Lapalme, G., Fillion, E., & Cedergren, R. (1991). The combination of symbolic and numerical computation for 3D modelling of RNA. Science, 253: 1255\u20131260.","journal-title":"Science"},{"issue":"6\u20137","key":"322927_CR37","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1002\/bip.360290621","volume":"29","author":"J. S. McCaskill","year":"1990","unstructured":"McCaskill, J. S. (1990). The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers, 29(6\u20137): 1105\u20131119.","journal-title":"Biopolymers"},{"issue":"3","key":"322927_CR38","first-page":"299","volume":"9","author":"G. Mehldau","year":"1993","unstructured":"Mehldau, G., & Myers, G. (1993). A system for pattern matching applications on biosequences. Computer Applications in the Biosciences, 9(3): 299\u2013314.","journal-title":"Computer Applications in the Biosciences"},{"key":"322927_CR39","unstructured":"Nadel, B. A. (1988). Constraint satisfaction algorithms. Technical report, CSC\u201388\u2013005, Wayne State University."},{"key":"322927_CR40","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1137\/0135006","volume":"35","author":"R. Nussinov","year":"1978","unstructured":"Nussinov, R. Piecznik, G., Griggs, J. R., & Kleitman, D. J. (1978). Algorithms for loop matchings. SIAM Journal of Applied Mathematics, 35: 68\u201382.","journal-title":"SIAM Journal of Applied Mathematics"},{"key":"322927_CR41","first-page":"268","volume-title":"Proceedings Third International Conference on Intelligent Systems for Molecular Biology","author":"S. Parsons","year":"1995","unstructured":"Parsons, S. (1995). Softening constraints in constraint-based protein topology prediction. In C. J. Rawlings, D. A. Clark, R. Altman, L. Hunter, T. Lengauer and S. Wodak, eds., Proceedings Third International Conference on Intelligent Systems for Molecular Biology, pages 268\u2013276. Menlo Park, CA: AAAI Press."},{"key":"322927_CR42","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/S0959-440X(94)90101-5","volume":"4","author":"C. W. A. Pleij","year":"1994","unstructured":"Pleij, C. W. A. (1994). RNA pseudoknots. Current Opinion in Structural Biology, 4: 337\u2013344.","journal-title":"Current Opinion in Structural Biology"},{"key":"322927_CR43","doi-asserted-by":"crossref","unstructured":"Rajasekar, A. (1994). Applications in constraint logic programming with strings. In A. Borning, ed., PPCP'94: Second Workshop on Principles and Practice of Constraint Programming, Seattle, WA.","DOI":"10.1007\/3-540-58601-6_94"},{"key":"322927_CR44","volume-title":"Constrained pattern recognition in biosequences","author":"M. Ratnayake","year":"1996","unstructured":"Ratnayake, M. (1996). Constrained pattern recognition in biosequences. B.Eng. (Honours) Degree in Software Engineering, Department of Computer Science, City University, London."},{"issue":"4","key":"322927_CR45","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/16.4.334","volume":"16","author":"E. Rivas","year":"2000","unstructured":"Rivas, E., & Eddy, S. R. (2000). The language of RNA: a formal grammar that includes pseudoknots. Bioinformatics. 16(4): 336\u2013340.","journal-title":"Bioinformatics"},{"key":"322927_CR46","doi-asserted-by":"crossref","first-page":"2053","DOI":"10.1006\/jmbi.1998.2436","volume":"285","author":"E. Rivas","year":"1999","unstructured":"Rivas, E., & Eddy, S. R. (1999). A dynamic programming algorithm for RNA structure prediction including pseudoknots. Journal of Molecular Biology, 285: 2053\u20132068.","journal-title":"Journal of Molecular Biology"},{"key":"322927_CR47","doi-asserted-by":"crossref","first-page":"5112","DOI":"10.1093\/nar\/22.23.5112","volume":"22","author":"Y. Sakakibara","year":"1994","unstructured":"Sakakibara, Y., Brown, M., Hughey, R., Mian, I. S., Sjoelander, K., Underwood, R., & Haussler, D. (1994). Stochastic context-free grammars for tRNA modelling. Nucleic Acids Research, 22: 5112\u20135120.","journal-title":"Nucleic Acids Research"},{"key":"322927_CR48","first-page":"47","volume-title":"Artificial Intelligence and Molecular Biology","author":"D. Searls","year":"1993","unstructured":"Searls, D. (1993). The computational linguistics of biological sequences. In L. Hunter, ed., Artificial Intelligence and Molecular Biology, chapter 2, pages 47\u2013120. Menlo Park, CA: AAAI Press."},{"key":"322927_CR49","unstructured":"Searls, D. (1995). The computational linguistics of biological sequences. Tutorial at Third International Conference on Intelligent Systems for Molecular Biology."},{"issue":"1\u20132","key":"322927_CR50","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(95)00034-H","volume":"24","author":"D. Searls","year":"1995","unstructured":"Searls, D. (1995). String variable grammar: a logic grammar formalism for the biological language of DNA. Journal of Logic Programming, 24(1\u20132): 73\u2013102.","journal-title":"Journal of Logic Programming"},{"key":"322927_CR51","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1142\/9789814503655_0008","volume-title":"Proceedings Second International Conference on Bioinformatics, Supercomputing, and Complex Genome Analysis","author":"D. Searls","year":"1993","unstructured":"Searls, D., & Dong, S. (1993). A syntactic pattern recognition system for DNA sequences. In C. R. Cantor, H. A. Lim, J. Fickett and R. J. Robbins, eds., Proceedings Second International Conference on Bioinformatics, Supercomputing, and Complex Genome Analysis, pages 89\u2013101. Singapore: World Scientific."},{"issue":"3","key":"322927_CR52","first-page":"279","volume":"6","author":"P. R. Sibbald","year":"1990","unstructured":"Sibbald, P. R., & Argos, P. (1990). Scrutineer: a computer program that flexibly seeks and describes motifs and profiles in protein sequences databases. Computer Applications in the Biosciences, 6(3): 279\u2013288.","journal-title":"Computer Applications in the Biosciences"},{"issue":"1","key":"322927_CR53","first-page":"45","volume":"8","author":"P. R. Sibbald","year":"1992","unstructured":"Sibbald, P. R., Sommerfeldt, H., & Argos, P. (1992). Overseer: a nucleotide sequence searching tool. Computer Applications in the Biosciences, 8(1): 45\u201348.","journal-title":"Computer Applications in the Biosciences"},{"key":"322927_CR54","first-page":"193","volume-title":"Methods in Enzymology","author":"R. Staden","year":"1990","unstructured":"Staden, R. (1990). Searching for patterns in protein and nucleic acid sequencies. In R. F. Doolittle, ed., Methods in Enzymology, Volume 183, pages 193\u2013211. New York: Academic Press."},{"key":"322927_CR55","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(78)90013-9","volume":"11","author":"M. Stefik","year":"1978","unstructured":"Stefik, M. (1978). Inferring DNA structures from segmentation data. Artificial Intelligence, 11: 85\u2013114.","journal-title":"Artificial Intelligence"},{"key":"322927_CR56","first-page":"181","volume-title":"ICLP'89: Proceedings 6th International Conference on Logic Programming","author":"C. Walinsky","year":"1989","unstructured":"Walinsky, C. (1989). CLP(\u2211*): constraint logic programming with regular sets. In G. Levi and M. Martelli, eds., ICLP'89: Proceedings 6th International Conference on Logic Programming, Lisbon, Portugal, pages 181\u2013196. Cambridge, MA: MIT Press."},{"key":"322927_CR57","first-page":"447","volume-title":"Proceedings First International Conference on Intelligent Systems for Molecular Biology","author":"D. E. Zimmerman","year":"1993","unstructured":"Zimmerman, D. E., Kulikowski, C. A., & Montelione, G. T. (1993). A constraint reasoning system for automating sequence-specific resonance assignments from multidimensional protein NMR spectra. In L. Hunter, D. Searls and J. Shavlik, eds., Proceedings First International Conference on Intelligent Systems for Molecular Biology, pages 447\u2013455. Menlo Park, CA: AAAI Press."},{"key":"322927_CR58","first-page":"189","volume":"180","author":"M. Zuker","year":"1989","unstructured":"Zuker, M. (1989). Computer prediction of RNA structure. Methods in Enzymology, 180: 189\u2013225.","journal-title":"Methods in Enzymology"},{"key":"322927_CR59","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1126\/science.2468181","volume":"244","author":"M. Zuker","year":"1989","unstructured":"Zuker, M. (1989). On finding all foldings of an RNA molecule. Science, 244: 48\u201352.","journal-title":"Science"},{"key":"322927_CR60","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/nar\/9.1.133","volume":"9","author":"M. Zuker","year":"1981","unstructured":"Zuker, M., & Stiegler, P. (1981). Optimal folding of large RNA sequences using thermodynamics and auxilliary information. Nucleic Acids Research, 9: 133\u2013148.","journal-title":"Nucleic Acids Research"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011481521835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011481521835\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011481521835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:07:53Z","timestamp":1752379673000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011481521835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":60,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["322927"],"URL":"https:\/\/doi.org\/10.1023\/a:1011481521835","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}