{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:35:26Z","timestamp":1725712526018},"publisher-location":"London","reference-count":4,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196679"},{"type":"electronic","value":"9781447138105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-1-4471-3810-5_23","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T16:31:29Z","timestamp":1357835489000},"page":"268-273","source":"Crossref","is-referenced-by-count":0,"title":["Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts"],"prefix":"10.1007","author":[{"given":"Muffy","family":"Thomas","sequence":"first","affiliation":[]},{"given":"Phil","family":"Watson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Addison-Wesley","author":"J Hoperoft","year":"1979","unstructured":"J. Hoperoft, D. Ullman, Introduction to automata theory, languages, and computation, Addison-Wesley, 1979."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"St. Lange, Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion, Proc. Analogical and Inductive Inference \u201889, GDR, Lecture Notes in Computer Science 367, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51734-0_70"},{"key":"23_CR3","unstructured":"J G. Smolka, W. Nutt, J.A. Goguen, J. Meseguer, Order-Sorted Equational Computation, SEKI Report SR-87\u201314, Universit\u00e4t Kaiserslautern, FRG, 1987."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"M. Thomas, K.P. Jantke, Inductive Inference for Solving Divergence in Knuth-Bendix Completion, Proc. Analogical and Inductive Inference \u201889, GDR, Lecture Notes in Computer Science 367, Springer-Verlag,1989.","DOI":"10.1007\/3-540-51734-0_69"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3810-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T12:41:48Z","timestamp":1557492108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3810-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540196679","9781447138105"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3810-5_23","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1991]]}}}