{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:06:23Z","timestamp":1649135183976},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sc. China"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/s11704-007-0028-x","type":"journal-article","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T11:36:08Z","timestamp":1188387368000},"page":"283-296","source":"Crossref","is-referenced-by-count":0,"title":["Well limit behaviors of term rewriting systems"],"prefix":"10.1007","volume":"1","author":[{"given":"Shilong","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ke","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","first-page":"386","volume-title":"Knowledge Representation, Logical, Philosophical and Computational Foundations","author":"J. F. Sowa","year":"1998","unstructured":"Sowa J F. Knowledge Representation, Logical, Philosophical and Computational Foundations. Boston, MA: PWS Publishing Company, 1998, 386"},{"key":"28_CR2","unstructured":"Wu W J. On the mechanization of theorem-proving in elementary differential geometry (in Chinese). Sci. Sinica, 1979, 94\u2013102"},{"key":"28_CR3","first-page":"1073","volume-title":"Proceedings of 1980 Beijing DD-Symp.","author":"W. J. Wu","year":"1982","unstructured":"Wu W J. Mechanical theorem proving in elementary geometry and elementary differential geometry. In: Proceedings of 1980 Beijing DD-Symp., Beijing. Science Press, 1982, 1073\u20131092."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Wu W J. A constructive theory of differential algebraic geometry. In: Proceedings of 1985 Shanghai DD-Symp., Lecture Notes in Math. 1987, 1255: 173\u2013189","DOI":"10.1007\/BFb0077689"},{"key":"28_CR5","first-page":"658","volume":"1","author":"D. M. Wang","year":"1995","unstructured":"Wang D M. A method for proving theorems in differential geometry and mechanics. J. of Universal Computer Science, 1995, 1: 658\u2013673","journal-title":"J. of Universal Computer Science"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Dershowitz N, Kaplan S, Plaisted D A. Rewrite, rewrite, rewrite, rewrite, rewrite,\u2026 In: The 16th ACM Symposium on Principles of Programming Languages, 1989, 250\u2013259","DOI":"10.1145\/75277.75299"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Ma S L, Sui Y F, Xu K. The limits of the Horn logic programs. In: Proceedings of the 18-th International Conference on Logic Programming(ICLP2002), Copenhagen, Denmark, LNCS 2401, 2002, 467","DOI":"10.1007\/3-540-45619-8_32"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Baader F, Nipkow T. Term rewriting and qll that. Cambridge University Press, 1998","DOI":"10.1017\/CBO9781139172752"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Boigelot B, Wolper P. Representing arithmetic constraints with finite automata: an overview. In: Proceedings of the 18-th International Conference on Logic Programming(ICLP2002), Copenhagen, Denmark, LNCS 2401, 1\u201319","DOI":"10.1007\/3-540-45619-8_1"},{"issue":"1","key":"28_CR10","first-page":"23","volume":"136","author":"W. Li","year":"2004","unstructured":"Li W, Ma S L. Limits of theory sequences over algebraically closed fields and applications. Discrete Mathematics and Theoretical Computer Science, 2004, 136(1): 23\u201343","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"28_CR11","unstructured":"Nienhuys-Cheng S H. Distance between Herbrand interpretations: a measure for approximations to a target concept. In: Proceedings of the 7th International Workshop on Inductive Programming, LNAI, Springer-Verlag, 1997"},{"key":"28_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd J W. Foundations of Logic Programming, Springer-Verlag, Berlin, 1987"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0028-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-007-0028-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0028-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:00:44Z","timestamp":1559408444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-007-0028-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s11704-007-0028-x","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"value":"1673-7350","type":"print"},{"value":"1673-7466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}