{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:28Z","timestamp":1725663508011},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:07:54Z","timestamp":1330236474000},"page":"302-306","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Proving group isomorphism theorems"],"prefix":"10.1007","author":[{"given":"Hantao","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"22_CR1","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"Boyer, R.S., Moore, J. S.: (1979) A Computational Logic. Academic Press, New York."},{"key":"22_CR2","unstructured":"Ganzinger, H.: (1987) A completion procedure for conditional equations. In Kaplan, S., Jouannaud, J.-P. (eds) Proc. of Conditional Term Rewriting Systems. Lecture Notes in Computer Science, vol. 308. pp. 62\u201383."},{"key":"22_CR3","volume-title":"Technical Report","author":"S. Kaplan","year":"1984","unstructured":"Kaplan S.: (1984) Fair conditional term rewriting systems: unification, termination and confluence. Technical Report, LRI, Orsay."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kapur, D., Zhang, H.: (1989) An overview of RRL: Rewrite Rule Laboratory. In: Dershowitz, N. (ed.): Proc. of the third international conference on rewriting techniques and its applications. Lecture Notes in Computer Science 355, Springer. pp. 513\u2013529.","DOI":"10.1007\/3-540-51081-8_138"},{"key":"22_CR5","first-page":"263","volume-title":"Computational problems in abstract algebra","author":"D. Knuth","year":"1970","unstructured":"Knuth, D., Dendix, P.: (1970) Simple word problems in universal algebras. In: Leech, (ed.) Computational problems in abstract algebra. New York: Pergamon Press, pp. 263\u2013297."},{"key":"22_CR6","volume-title":"Report MTP-6","author":"D. S. Lankford","year":"1979","unstructured":"Lankford, D.S.: (1979) Some new approaches to the theory and applications of conditional term rewriting systems. Report MTP-6, Dept. of Mathematics, Lousiana Tech University, Ruston, LA."},{"key":"22_CR7","volume-title":"These d'etat","author":"J. L. Remy","year":"1982","unstructured":"Remy, J.L.: (1982) Etudes des systemes reecriture conditionelles et applications aux types abstraits alg\u00e9briques. These d'etat, Universite de Nancy I, Nancy, France."},{"key":"22_CR8","volume-title":"Automated reasoning: 33 basic research problems","author":"L. R. Wos","year":"1988","unstructured":"Wos, L.R.: (1988) Automated reasoning: 33 basic research problems. New Jersey: Prentice Hall."},{"key":"22_CR9","first-page":"251","volume":"6","author":"Y. Yu","year":"1990","unstructured":"Yu, Y.: (1990) Computer proofs in group theory. J. of Automated Reasoning 6 251\u2013286.","journal-title":"J. of Automated Reasoning"},{"key":"22_CR10","unstructured":"Zhang, H., Kapur, D.: (1988) First-order logic theorem proving using conditional rewrite rules. In: Lusk, E., Overbeek, R., (eds.): Proc. of 9th international conference on automated deduction. Lecture Notes in Computer Science 310, Springer, pp. 1\u201320"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:02:30Z","timestamp":1578517350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_22"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}