{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:03:47Z","timestamp":1743102227799,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034282"},{"type":"electronic","value":"9783642034299"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03429-9_12","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T08:12:52Z","timestamp":1251447172000},"page":"166-186","source":"Crossref","is-referenced-by-count":1,"title":["Transformations of Conditional Rewrite Systems Revisited"],"prefix":"10.1007","author":[{"given":"Karl","family":"Gmeiner","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Gramlich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-54317-1_101","volume-title":"Conditional and Typed Rewriting Systems","author":"H. Aida","year":"1991","unstructured":"Aida, H., Goguen, J., Meseguer, J.: Compiling concurrent rewriting onto the rewrite rule machine. In: Okada, M., Kaplan, S. (eds.) CTRS 1990. LNCS, vol.\u00a0516, pp. 320\u2013332. Springer, Heidelberg (1991)"},{"key":"12_CR2","first-page":"20","volume-title":"Proc. PPDP (2003)","author":"S. Antoy","year":"2003","unstructured":"Antoy, S., Brassel, B., Hanus, M.: Conditional narrowing without conditions. In: Proc. PPDP (2003), August 27-29, pp. 20\u201331. ACM Press, New York (2003)"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J. Bergstra","year":"1986","unstructured":"Bergstra, J., Klop, J.: Conditional rewrite rules: Confluence and termination. Journal of Computer and System Sciences\u00a032(3), 323\u2013362 (1986)","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR5","unstructured":"Bra\u00dfel, B.: Bedingte Narrowing-Verfahren mit verz\u00f6gerter Auswertung. Master\u2019s thesis, RWTH Aachen (1999)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11805618_3","volume-title":"Term Rewriting and Applications","author":"T.-F. \u015eerb\u0103nu\u0163\u0103","year":"2006","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.-F., Ro\u015fu, G.: Computationally equivalent elimination of conditions. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 19\u201334. Springer, Heidelberg (2006)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-19242-5_3","volume-title":"Conditional Term Rewriting Systems","author":"N. Dershowitz","year":"1988","unstructured":"Dershowitz, N., Okada, M., Sivakumar, G.: Confluence of conditional rewrite systems. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol.\u00a0308, pp. 31\u201344. Springer, Heidelberg (1988)"},{"key":"12_CR8","unstructured":"Dershowitz, N., Plaisted, D.: Equational programming. In: Hayes, J.E., Michie, D., Richards, J. (eds.) Machine Intelligence 11: The logic and acquisition of knowledge ch. 2, pp. 21\u201356 (1988)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-19242-5_8","volume-title":"Conditional Term Rewriting Systems","author":"E. Giovanetti","year":"1988","unstructured":"Giovanetti, E., Moiso, C.: Notes on the elimination of conditions. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol.\u00a0308, pp. 91\u201397. Springer, Heidelberg (1988)"},{"issue":"10","key":"12_CR10","first-page":"59","volume":"21","author":"S. Lucas","year":"2008","unstructured":"Lucas, S., Meseguer, J., March\u00e9, C., Urbain, X.: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation\u00a021(10), 59\u201388 (2008)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"12_CR11","unstructured":"Marchiori, M.: Unravelings and ultra-properties. Technical Report\u00a08, University of Padova, Italy (1995)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-61735-3_7","volume-title":"Algebraic and Logic Programming","author":"M. Marchiori","year":"1996","unstructured":"Marchiori, M.: Unravelings and ultra-properties. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 107\u2013121. Springer, Heidelberg (1996)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Nishida, N., Mizutani, T., Sakai, M.: Transformation for refining unraveled conditional term rewriting systems. ENTCS, vol.\u00a0174(10), pp. 75\u201395 (2007)","DOI":"10.1016\/j.entcs.2007.02.048"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-540-32033-3_20","volume-title":"Term Rewriting and Applications","author":"N. Nishida","year":"2005","unstructured":"Nishida, N., Sakai, M., Sakabe, T.: Partial inversion of constructor term rewriting systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3661-8","volume-title":"Advanced Topics in Term Rewriting","author":"E. Ohlebusch","year":"2002","unstructured":"Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-31959-7_13","volume-title":"Recent Trends in Algebraic Development Techniques","author":"G. Rosu","year":"2005","unstructured":"Rosu, G.: From conditional to unconditional rewriting. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 218\u2013233. Springer, Heidelberg (2005)"},{"key":"12_CR17","unstructured":"Schernhammer, F., Gramlich, B.: On proving and characterizing operational termination of deterministic conditional rewrite systems. In: Hofbauer, D., Serebrenik, A. (eds.) Proc. WST (2007), pp. 82\u201385 (2007)"},{"issue":"3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1006\/jsco.1999.0288","volume":"28","author":"P. Viry","year":"1999","unstructured":"Viry, P.: Elimination of conditions. J. Symb. Comput.\u00a028(3), 381\u2013401 (1999)","journal-title":"J. Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03429-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T03:45:42Z","timestamp":1558496742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}