{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:30Z","timestamp":1725490110184},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420712"},{"type":"electronic","value":"9783540449904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44990-6_17","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:20:43Z","timestamp":1188310843000},"page":"219-222","source":"Crossref","is-referenced-by-count":0,"title":["CDR: A Rewriting Based Tool to Design FPLA Circuits"],"prefix":"10.1007","author":[{"given":"Zahir","family":"Maazouzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nirina","family":"Andrianarivelo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wadoud","family":"Bousdira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Chabin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"17_CR1","unstructured":"N. Andrianarivelo, W. Bousdira, J. Chabin, and Z. Maazouzi. Designing FPLA combinational circuits by conditional rewriting. In H. Prade, editor, John Wiley and Sons, pages 373\u2013377, Brighton, UK, 1998. 13th European Conference on Artificial Intelligence."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"N. Andrianarivelo, W. Bousdira, and J-M. Talbot. On theorem-proving in Horn theories with built-in algebras. In J. Calmet, J.A. Campbell, and J. Pfalzgraf, editors, Lecture Notes in Computer Science, volume 1138, pages 320\u2013338, Steyr, Austria, 1996. Third International Conference on Artificial Intelligence and Symbolic Computation.","DOI":"10.1007\/3-540-61732-9_66"},{"key":"17_CR3","unstructured":"N. Dershowitz and J-P. Jouannaud. Rewriting Systems. In J. Van Leuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers North-Holland, 1990."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"P.R. Halmos. Lectures Notes on Boolean Algebras. Springer, Berlin, 1974.","DOI":"10.1007\/978-1-4612-9855-7"},{"key":"17_CR5","volume-title":"Contemporary logic design","author":"R. H. Katz","year":"1993","unstructured":"Randy H. Katz. Contemporary logic design. Benjamin Cummings\/Addison Wesley Publishing Company, 1993."},{"issue":"3","key":"17_CR6","first-page":"9","volume":"4","author":"C. Kirchner","year":"1990","unstructured":"C. Kirchner, H. Kirchner, and M. Rusinowitch. Deduction with Symbolic Constraints. Revue Fran,caise d'Intelligence Artificielle, 4(3):9\u201352, 1990. Special issue on Automatic Deduction.","journal-title":"Revue Fran,caise d'Intelligence Artificielle"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"G. Smolka. Logic Programming over Polymorphically Order-Sorted Types. PHD Thesis, Universitat Kaiserslautern, FB Informatik, West Germany, 1989.","DOI":"10.1007\/3-540-50667-5_58"},{"key":"17_CR8","unstructured":"John F. Wakerly. Digital Design Principles and Practices. Prentice Hall International Editions, 1991."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Ingo Wegener. The Complexity of Boolean Functions. J. Wiley and Sons, 1987.","DOI":"10.1007\/3-540-18170-9_185"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44990-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:07:53Z","timestamp":1556816873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44990-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420712","9783540449904"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44990-6_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}