{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:24Z","timestamp":1725664344353},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592006"},{"type":"electronic","value":"9783540492238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59200-8_71","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:06:30Z","timestamp":1330275990000},"page":"382-396","source":"Crossref","is-referenced-by-count":1,"title":["Regular substitution sets: A means of controlling E-unification"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Burghardt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H., On restrictions of ordered paramodulation with simplification, Proc. 10th CADE, LNAI 449, Jul 1990","DOI":"10.1007\/3-540-52885-7_105"},{"key":"30_CR2","unstructured":"Bockmayr, A., Beitr\u00e4ge zur Theorie des logisch-funktionalen Programmierens, Dissertation, University Karlsruhe, 1991"},{"key":"30_CR3","unstructured":"Burghardt, J., Eine feink\u00f6rnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion, Dissertation, GMD Report 212, Oldenbourg, 1993"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Burghardt, J., A fine-grain sort discipline and its application to formal program construction, in: M. Broy, S. J\u00e4hnichen (eds.), KORSO-Correct software by formal methods, LNCS, to appear","DOI":"10.1007\/BFb0015462"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Comon, H., Equational formulas in order-sorted algebras, Proc. ICALP, Warwick, Springer, July 1990","DOI":"10.1007\/BFb0032066"},{"key":"30_CR6","unstructured":"Echahed, R., On completeness of narrowing strategies, LNCS 298, 1988"},{"key":"30_CR7","first-page":"259","volume":"170","author":"L. Fribourg","year":"1984","unstructured":"Fribourg, L., A narrowing procedure for theories with constructors, Proc. 7. CADE, LNCS 170, p. 259\u2013279, 1984","journal-title":"Proc. 7. CADE, LNCS"},{"key":"30_CR8","unstructured":"Heinz, B., Lemma discovery by anti-unification of regular sorts, TU Berlin, Technical Report 94-21, 1994"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, S., Foundations of equational programming, LNAI 353, Aug 1989","DOI":"10.1007\/BFb0015791"},{"key":"30_CR10","first-page":"225","volume":"440","author":"A. Leitsch","year":"1989","unstructured":"Leitsch, A., Deciding Horn clauses by hyperresolution, Proc. 2nd Workshop in Computer Science Logic, LNCS 440, p. 225\u2013241, 1989","journal-title":"Proc. 2nd Workshop in Computer Science Logic, LNCS"},{"key":"30_CR11","unstructured":"Mishra, P., Towards a theory of types in PROLOG, Proc. 1984 Int. Symp. on Logic Programming"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M., Computational aspects of an order-sorted logic with term declarations, Univ. Kaiserslautern, Dissertation, April 1988b","DOI":"10.1007\/BFb0024065"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59200-8_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:03Z","timestamp":1605648363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59200-8_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592006","9783540492238"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-59200-8_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}