{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:42Z","timestamp":1725456222249},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030592","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"139-152","source":"Crossref","is-referenced-by-count":0,"title":["Logicality of conditional rewrite systems"],"prefix":"10.1007","author":[{"given":"Toshiyuki","family":"Yamada","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Avenhaus","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Lor\u00eda-S\u00e1enz","sequence":"additional","affiliation":[]},{"given":"Aart","family":"Middeldorp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"11_CR1","unstructured":"J. Avenhaus and C. Lor\u00eda-S\u00e1enz, Canonical Conditional Rewrite Systems Containing Extra Variables, SEKI-report SR-93-03, Universit\u00e4t Kaiserslautern (1993)."},{"key":"11_CR2","first-page":"215","volume":"822","author":"J. Avenhaus","year":"1994","unstructured":"J. Avenhaus and C. Lor\u00eda-S\u00e1enz, On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs, Proc. 5th LPAR, LNAI 822 (1994) 215\u2013229.","journal-title":"LNAI"},{"key":"11_CR3","first-page":"45","volume":"355","author":"H. Bertling","year":"1989","unstructured":"H. Bertling and H. Ganzinger, Completion-Time Optimization of Rewrite-Time Goal Solving, Proc. 3rd RTA, LNCS 355 (1989) 45\u201358.","journal-title":"LNCS"},{"key":"11_CR4","first-page":"323","volume":"32","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra and J.W. Klop, Conditional Rewrite Rules: Confluence and Termination, JCSS 32 (1986) 323\u2013362.","journal-title":"JCSS"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud, Rewrite Systems, in: Handbook of Theoretical Computer Science, Vol. B, North-Holland (1990) 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada, A Rationale for Conditional Equational Programming, TCS 75 (1990) 111\u2013138.","journal-title":"TCS"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M. Hanus, On Extra Variables in (Equational) Logic Programming, Proc. 12th ICLP, MIT Press (1995) 665\u2013679.","DOI":"10.7551\/mitpress\/4298.003.0065"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S. Kaplan","year":"1984","unstructured":"S. Kaplan, Conditional Rewrite Rules, TCS 33 (1984) 175\u2013193.","journal-title":"TCS"},{"key":"11_CR9","unstructured":"J.W. Klop, Term Rewriting Systems, in: Handbook of Logic in Computer Science, Vol. 2, Oxford University Press (1992) 1\u2013116."},{"key":"11_CR10","first-page":"179","volume":"914","author":"T. Suzuki","year":"1995","unstructured":"T. Suzuki, A. Middeldorp, and T. Ida, Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides, Proc. 6th RTA, LNCS 914 (1995) 179\u2013193.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:54:14Z","timestamp":1706770454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0030592","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}