{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T20:33:32Z","timestamp":1649018012278},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1007\/bf02948790","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T19:52:03Z","timestamp":1221249123000},"page":"487-494","source":"Crossref","is-referenced-by-count":0,"title":["Object-oriented analysis of ELIMINO"],"prefix":"10.1007","volume":"14","author":[{"given":"Dongdai","family":"Lin","sequence":"first","affiliation":[]},{"given":"Zhuojun","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02948790_CR1","unstructured":"Buchberger B, Collins G E, Loos R, Albrecht R. Computer Algebra-Symbolic and Algebraic Computation. 2nd Edition, Springer-Verlag, 1988."},{"key":"BF02948790_CR2","unstructured":"Lin Dongdai, Liu Jun, Liu Zhuojun. Mathematical research software: ELIMINO. InProceedings of ASCM\u201998, pp. 107\u2013114."},{"key":"BF02948790_CR3","first-page":"157","volume":"21","author":"Wents\u00fcn Wu","year":"1978","unstructured":"Wu Wents\u00fcn. On the decision problem and the mechanization of theorem proving in elementary geometry.J. Sys. Sci. and Math. Scis., 1978, 21: 157\u2013179.","journal-title":"J. Sys. Sci. and Math. Scis."},{"key":"BF02948790_CR4","unstructured":"Wu Wents\u00fcn. Basic Principles of Mechanical Theorem Proving in Elementary.J. of Sys. Sci. and Math. Sci., 1984, 4."},{"key":"BF02948790_CR5","unstructured":"Coad P, Yourdon E. Object-Oriented Analysis. Yourdon Press, 1990."},{"key":"BF02948790_CR6","unstructured":"Norman R J. Object-Oriented System Analysis and Design. Prentice Hall 1996."},{"key":"BF02948790_CR7","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch G. Object-Oriented Analysis and Design with Applications (2nd ed.). Menlo Park, CA: Benjamin\/Cummings, 1994.","edition":"2nd ed."},{"key":"BF02948790_CR8","volume-title":"Object-Oriented Modeling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. New York: Prentice Hall, 1991."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948790.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948790\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:03:09Z","timestamp":1558551789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["BF02948790"],"URL":"https:\/\/doi.org\/10.1007\/bf02948790","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}