{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:49Z","timestamp":1761611149645},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf01190827","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T06:25:56Z","timestamp":1108707956000},"page":"131-158","source":"Crossref","is-referenced-by-count":43,"title":["Generalized sufficient conditions for modular termination of rewriting"],"prefix":"10.1007","volume":"5","author":[{"given":"Bernhard","family":"Gramlich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"CR1","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1016\/0020-0190(79)90071-1","volume":"9","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz, N.: A note on simplification orderings. Information Processing Letters,9(5), 212?215 (1979)","journal-title":"Information Processing Letters"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Dershowitz, N.: Orderings for term-rewriting systems. Theoret Comput Sci 279?301 (1982)","DOI":"10.1016\/0304-3975(82)90026-3"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"Dershowitz, N.: Termination of rewriting. J. Symbolic Comput.3(1), 69?116 (1987)","journal-title":"J. Symbolic Comput."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: van Leeuwen, J. (ed.). Formal models and semantics, Handbook of Theoretical Computer Science, vol. B, Chap. 6, pp. 243?320. Elsevier, The MIT Press 1990","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"CR5","volume-title":"Termersetzungssysteme. Informatik-Fachberichte vol. 210","author":"K. Drosten","year":"1989","unstructured":"Drosten, K.: Termersetzungssysteme. Informatik-Fachberichte vol. 210. Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR6","first-page":"22","volume":"31","author":"H. Ganzinger","year":"1987","unstructured":"Ganzinger, H., Giegerich, R.: A note on termination in combinations of heterogeneous term rewriting systems. Bull. European Assoc. Theoret. Comput. Sci.31, 22?28 (1987)","journal-title":"Bull. European Assoc. Theoret. Comput. Sci."},{"key":"CR7","unstructured":"Gramlich, B.: A structural analysis of modular termination of term rewriting systems. SEKI Report SR-91-15, Dept. of Comp. Science, Univ. of Kaiserslautern, 1991"},{"key":"CR8","first-page":"53","volume-title":"Lecture Notes in Computer Science","author":"B. Gramlich","year":"1992","unstructured":"Gramlich, B.: Generalized sufficient conditions for modular termination of rewriting. In: Kirchner, H., Levi, G. (eds). Proc. of 3rd Int. Conf. on Algebraic and Logic Programming, Pisa, Italy, vol. 632. Lecture Notes in Computer Science, pp. 53?68. Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR9","first-page":"285","volume-title":"Lecture Notes in Artificial Intelligence","author":"B. Gramlich","year":"1992","unstructured":"Gramlich, B.: Relating innermost, weak, uniform and modular termination of term rewriting systems. In: Voronkov, A. (ed.) International Conference on Logic Programming and Automated Reasoning, St. Petersburg, vol.624. Lecture Notes in Artificial Intelligence, pp. 285?296. Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR10","first-page":"128","volume-title":"Lecture Notes in Computer Science","author":"B. Gramlich","year":"1992","unstructured":"Gramlich, B.: Sufficient conditions for modular termination of conditional term rewriting systems. In: Rusinowitch, M., Remy, J. L. (eds) Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont-\u00e0-Mousson, vol.656. Lecture Notes in Computer Science, pp. 128?142. Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR11","unstructured":"Huet, G., Lankford, D.: On the uniform halting problem for term rewriting systems. Technical Report 283, INRIA, 1978"},{"key":"CR12","first-page":"349","volume-title":"Formal Languages, Perspectives And Open Problems","author":"G. Huet","year":"1980","unstructured":"Huet, G., Oppen, D. C.: Equations and rewrite rules: A survey. In: Ronald V. Book (ed.) Formal Languages, Perspectives And Open Problems, pp. 349?405. New York: Academic Press 1980"},{"key":"CR13","volume-title":"Handbook of Logic in Computer Science, volI","author":"J. W. Klop","year":"1990","unstructured":"Klop, J. W.: Term rewriting systems. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds). Handbook of Logic in Computer Science, volI. Oxford: University Press 1990"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(90)90221-I","volume":"34","author":"M. Kurihara","year":"1990","unstructured":"Kurihara, M., Kaji, I.: Modular term rewriting systems and the termination. Inf. Proc. Lett.34, 1?4 (1990)","journal-title":"Inf. Proc. Lett."},{"key":"CR15","first-page":"632","volume":"34","author":"M. Kurihara","year":"1990","unstructured":"Kurihara, M., Ohuchi, A.: Modularity of simple termination of term rewriting systems. J. IPS, Jpn34, 632?642 (1990)","journal-title":"J. IPS, Jpn"},{"key":"CR16","volume-title":"Technical Report SF-36","author":"M. Kurihara","year":"1990","unstructured":"Kurihara, M., Ohuchi, A.: Modularity of simple termination of term rewriting systems with shared constructors. Technical Report SF-36, Hokkaido University, Sapporo, 1990. Also in TCS103, 273?282 (1992)"},{"key":"CR17","first-page":"263","volume-title":"Lecture Notes in Computer Science","author":"A. Middeldorp","year":"1989","unstructured":"Middeldorp, A.: Modular aspects of properties of term rewriting systems related to normal forms. In: Dershowitz, N. (ed.) Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, vol.335. Lecture Notes in Computer Science, pp. 263?277. Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Middeldorp, A.: A sufficient condition for the termination of the direct sum of term rewriting systems. In: Proceedings of the 4th IEEE Symposium on Logic in Computer Science, pp. 396?401. Pacific Grove 1989","DOI":"10.1109\/LICS.1989.39194"},{"key":"CR19","volume-title":"Technical Report CS-R8959","author":"A. Middeldorp","year":"1989","unstructured":"Middeldorp, A.: Termination of disjoint unions of conditional term rewriting systems. Technical Report CS-R8959, Centre for Mathematics and Computer Science, Amsterdam 1989"},{"key":"CR20","first-page":"295","volume-title":"Lecture Notes in Computer Science","author":"A. Middeldorp","year":"1990","unstructured":"Middeldorp, A.: Confluence of the disjoint union of conditional term rewriting systems. In: Kaplan, S., Okada, M. (eds). Proc. of the 2nd Int. Workshop on Conditional and Typed Rewriting Systems, vol.516. Lecture Notes in Computer Science, pp. 295?306. Berlin, Heidelberg, New York: Springer 1990"},{"key":"CR21","volume-title":"PhD thesis","author":"A. Middeldorp","year":"1990","unstructured":"Middeldorp, A.: Modular Properties of Term Rewriting Systems. PhD thesis, Free University, Amsterdam 1990"},{"key":"CR22","first-page":"82","volume-title":"Lecture Notes in Computer Science","author":"A. Middeldorp","year":"1992","unstructured":"Middeldorp, A.: Completeness of combinations of conditional constructor systems. In: Rusinowitch, M., Remy, J. L. (eds). Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont-\u00e0-Mousson, vol.656 Lecture Notes in Computer Science, pp. 82?96. Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR23","first-page":"174","volume-title":"Lecture Notes in Computer Science","author":"A. Middeldorp","year":"1991","unstructured":"Middeldorp, A., Toyama, Y.: Completeness of combinations of constructor systems. In: Book, R. V. (ed). Proc. of the 4th Int. Conf. on Rewriting Techniques and Applications, vol.488. Lecture Notes in Computer Science, pp. 174?187. Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR24","first-page":"113","volume-title":"Lecture Notes in Computer Science","author":"E. Ohlebusch","year":"1992","unstructured":"Ohlebusch, E.: Combinations of simplifying conditional term rewriting systems. In: Rusinowitch, M., Remy, J. L. (eds). Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont-\u00e0-Mousson, vol.656. Lecture Notes in Computer Science, pp. 113?127. Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR25","unstructured":"Ohlebusch, E.: A note on simple termination of infinite term rewriting systems. Technical Report 7, Univ. of Bielefeld 1992"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0020-0190(87)90039-1","volume":"26","author":"M. Rusinowitch","year":"1987","unstructured":"Rusinowitch, M.: On termination of the direct sum of term rewriting systems. Inf. Proc. Lett.26, 65?70 (1987)","journal-title":"Inf. Proc. Lett."},{"key":"CR27","unstructured":"Seifert, R.: Fachbereich Informatik, Univ. Bremen, personal communication, July 1992"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0020-0190(87)90122-0","volume":"25","author":"Y. Toyama","year":"1987","unstructured":"Toyama, Y.: Counterexamples to termination for the direct sum of term rewriting systems. Inf. Proc. Lett.25, 141?143 (1987)","journal-title":"Inf. Proc. Lett."},{"issue":"1","key":"CR29","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Toyama, Y.: On the Church-Rosser property for the direct sum of term rewriting systems. J. ACM34(1), 128?143 (1987)","journal-title":"J. ACM"},{"key":"CR30","first-page":"477","volume-title":"Lecture Notes in Computer Science","author":"Y. Toyama","year":"1989","unstructured":"Toyama, Y., Klop, J. W., Barendregt, H. P.: Termination for the direct sum of left-linear term rewriting systems. In: Dershowitz, N. (ed.) Proc. of the 3rd Int. Conf. on Rewriting Techniques and Applications, vol.355. Lecture Notes in Computer Science, pp. 477?491. Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR31","first-page":"155","volume-title":"Lecture Notes in Computer Science","author":"H. Zantema","year":"1992","unstructured":"Zantema, H.: Termination of term rewriting by interpretation. In: Rusinowitch, M., Remy, J. L. (eds) Proc. of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont-\u00e0-Mousson, vol.656. Lecture Notes in Computer Science, pp. 155?167. Berlin, Heidelberg, New York: Springer 1992"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01190827.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01190827\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01190827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T09:08:23Z","timestamp":1556615303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01190827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":31,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF01190827"],"URL":"https:\/\/doi.org\/10.1007\/bf01190827","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}