{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:09Z","timestamp":1742617149738,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:32Z","timestamp":1330254452000},"page":"198-212","source":"Crossref","is-referenced-by-count":4,"title":["A constructor-based approach for positive\/negative-conditional equational specifications"],"prefix":"10.1007","author":[{"given":"Claus-Peter","family":"Wirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Gramlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Leo Bachmair. Proof by Consistency in Equational Theories. 3rd LICS 1988, pp. 228\u2013233.","DOI":"10.1109\/LICS.1988.5122"},{"key":"15_CR2","unstructured":"Leo Bachmair, Harald Ganzinger. Perfect Model Semantics for Logic Programs with. Equality. Proc. of 8th Int. Conf. on Logic Programming, pp. 645\u2013659, MIT Press, 1991."},{"key":"15_CR3","volume-title":"LNCS 308","author":"N. Dershowitz","year":"1988","unstructured":"Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar. Confluence of Conditional Rewrite Systems. LNCS 308. Springer-Verlag, Berlin 1988."},{"key":"15_CR4","unstructured":"Harald Ganzinger, J\u00fcrgen Stuber. Inductive Theorem Proving by Consistency for First-Order Clauses. This volume."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Kaplan. Conditional Rewrite Rules. Theoretical Computer Science 33 (1984), pp. 175\u2013193. North-Holland.","DOI":"10.1016\/0304-3975(84)90087-2"},{"key":"15_CR6","volume-title":"LNCS 308","author":"S. Kaplan","year":"1988","unstructured":"St\u00e9phane Kaplan. Positive\/Negative-Conditional Rewriting. LNCS 308. Springer-Verlag, Berlin 1988."},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(87)90017-8","volume":"31","author":"D. Kapur","year":"1987","unstructured":"Deepak Kapur, David R. Musser. Proof by Consistency. Artificial Intelligence 31 (1987), pp. 125\u2013157.","journal-title":"Artificial Intelligence"},{"key":"15_CR8","volume-title":"Diplomarbeit","author":"C. Wirth","year":"1991","unstructured":"Claus-Peter Wirth. Inductive Theorem Proving in Theories specified by Positive\/Negative Conditional Equations. Diplomarbeit, 1991, Universit\u00e4t Kaiserslautern, Fachbereich Informatik, Postfach 3049, W-6750 Kaiserslautern."},{"key":"15_CR9","unstructured":"Claus-Peter Wirth, Bernhard Gramlich. A Constructor-Based Approach for Positive\/Negative-Conditional Equational Specifications. SEKI-Report SR-92-10 (SFB), May 4, 1992, Universit\u00e4t Kaiserslautern, Fachbereich Informatik."},{"key":"15_CR10","volume-title":"PhD thesis","author":"H. Zhang","year":"1988","unstructured":"Hantao Zhang. Reduction, Superposition and Induction: Automated Reasoning in an Equational Logic. Rensselaer Polytech. Inst., Dept. of Comp. Sci., Troy, NY, PhD thesis, 1988."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:47:52Z","timestamp":1742593672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}