{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:46:53Z","timestamp":1725475613929},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672814"},{"type":"electronic","value":"9783540464211"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720084_14","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T09:36:30Z","timestamp":1167384990000},"page":"200-216","source":"Crossref","is-referenced-by-count":0,"title":["Composing and Controlling Search in Reasoning Theories Using Mappings"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Coglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn L.","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Armando, A., Ranise, S.: From Integrated Reasoning Specialists to \u201cPlug-and-Play\u201d Reasoning Components. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol.\u00a01476, p. 42. Springer, Heidelberg (1998); also available as DIST Technical Report 97-0049, University of Genova, Italy","DOI":"10.1007\/BFb0055901"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.): Algebraic Foundations of Systems Specifications. IFIP State-of-the-Art Reports. Springer, Hidleberg (1999)","DOI":"10.1007\/978-3-642-59851-7"},{"key":"14_CR3","unstructured":"Bertoli, P.G.: Using OMRS in Practice: A Case Study with ACL2. PhD thesis, University of Rome 3 (1997)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bertoli, P.G., Calmet, J., Homann, K., Giunchiglia, F.: Specification and Integration of Theorem Provers and Computer Algebra Systems. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol.\u00a01476, p. 94. Springer, Heidelberg (1998); also Technical Report 9804-03, IRST, Trento, Italy (April 1998)","DOI":"10.1007\/BFb0055905"},{"key":"14_CR5","volume-title":"A Computational Logic","author":"R.S. Boyer","year":"1979","unstructured":"Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, London (1979)"},{"key":"14_CR6","volume-title":"A Computational Logic Handbook","author":"R.S. Boyer","year":"1988","unstructured":"Boyer, R.S., Moore, J.S.: A Computational Logic Handbook. Academic Press, London (1988)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. In: Bj\u00f8rner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 292\u2013332. Springer, Heidelberg (1980)","DOI":"10.1007\/3-540-10007-5_41"},{"key":"14_CR8","unstructured":"Clavel, M., Meseguer, J.: Reflection and strategies in rewriting logic. In: Rewriting Logic Workshop 1996. Electronic Notes in Theoretical Computer Science, vol.\u00a04. Elsevier, Amsterdam (1996), http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html"},{"key":"14_CR9","unstructured":"Coglio, A.: The control component of OMRS. Master\u2019s thesis, University of Genova, Italy (1996)"},{"key":"14_CR10","unstructured":"Coglio, A.: Definizione di un formalismo per la specifica delle strategie di inferenza dei sistemi di ragionamento meccanizzato e sua applicazione ad un sistema allo stato dell\u2019arte. Master\u2019s thesis (1996), Master thesis, DIST - University of Genoa (Italy)"},{"key":"14_CR11","unstructured":"Coglio, A., Giunchiglia, F., Pecchiari, P., Talcott, C.: A logic level specification of the nqthm simplification process. Technical report, IRST, University of Genova, Stanford University (1997)"},{"key":"14_CR12","unstructured":"Gentzen, G.: The Collected Papers of Gerhard Gentzen. In: Szabo, M.E. (ed.) North-Holland, Amsterdam (1969)"},{"issue":"458","key":"14_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0167-739X(96)88792-9","volume":"12","author":"F. Giunchiglia","year":"1996","unstructured":"Giunchiglia, F., Pecchiari, P., Armando, A.: Towards provably correct system synthesis and extension. Future Generation Computer Systems\u00a012(458), 123\u2013137 (1996)","journal-title":"Future Generation Computer Systems"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Pecchiari, P., Talcott, C.: Reasoning theories: Towards an architecture for open mechanized reasoning systems. In: Workshop on Frontiers of Combining Systems FROCOS 1996 (1996)","DOI":"10.1007\/978-94-009-0349-4_8"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science\u00a0105, 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/BFb0014312","volume-title":"Algebraic Methodology and Software Technology","author":"A. Haxthausen","year":"1996","unstructured":"Haxthausen, A., Nickl, F.: Pushouts of order-sorted algebraic specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 132\u2013148. Springer, Heidelberg (1996)"},{"issue":"3","key":"14_CR17","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1093\/logcom\/6.3.409","volume":"6","author":"N. Mart\u00ed-Oliet","year":"1996","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Inclusions and subtypes i: First-order case. J. Logic and Computation\u00a06(3), 409\u2013438 (1996)","journal-title":"J. Logic and Computation"},{"key":"14_CR18","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Gabbay, D. (ed.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"14_CR19","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis (1984)"},{"key":"14_CR20","unstructured":"Meseguer, J., Talcott, C.: Reasoning theories and rewriting logic (in preparation)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Talcott, C.: Mapping OMRS to Rewriting Logic. In: Kirchner, C., Kirchner, H. (eds.) 2nd International Workshop on Rewriting Logic and its Applications, WRLA 1998. Electronic Notes in Theoretical Computer Science, vol.\u00a015 (1998), http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html","DOI":"10.1016\/S1571-0661(05)82551-4"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Membership algebra as a semantic framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-64299-4_26"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/3-540-64299-4_42","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T.: Colimits of order-sorted specifications. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 316\u2013322. Springer, Heidelberg (1998)"},{"key":"14_CR24","unstructured":"Prawitz, D.: Natural Deduction: A Proof-theoretical Study. Almquist and Wiksell (1965)"},{"key":"14_CR25","unstructured":"Stehr, M.-O., Meseguer, J.: The HOL-Nuprl connection from the viewpoint of general logics. In: SRI International (1999) (manuscript)"},{"key":"14_CR26","unstructured":"Stehr, M.-O., Meseguer, J.: Pure type systems in rewriting logic. In: Workshop on Logical Frameworks and Meta-languages (1999)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720084_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:34:41Z","timestamp":1556004881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720084_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672814","9783540464211"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/10720084_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}