{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:37Z","timestamp":1725663637507},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569442"},{"type":"electronic","value":"9783540478300"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56944-8_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:58:06Z","timestamp":1330239486000},"page":"357-359","source":"Crossref","is-referenced-by-count":0,"title":["Mixing metafor"],"prefix":"10.1007","author":[{"given":"Breannd\u00e1n \u00d3","family":"Nuall\u00e1in","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"34_CR1","unstructured":"Reiner Manthey and Fran\u00e7ois Bry. satchmo: a theorem prover in PROLOG. In J\u00f6rg H. Siekman, editor, CADE 8. Springer-Verlag, 1986."},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF00249019","volume":"7","author":"A. Ramsay","year":"1991","unstructured":"Allan Ramsay. Generating relevant models. Journal of Automated Reasoning, 7:359\u2013368, 1991.","journal-title":"Journal of Automated Reasoning"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"M. Partsch","year":"1983","unstructured":"M. Partsch and R. Steinbruggen. Program transformation systems. Computing Surveys, 15:199\u2013236, 1983.","journal-title":"Computing Surveys"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"J. Komorowski. Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of PROLOG. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 255\u2013267, 1982.","DOI":"10.1145\/582153.582181"},{"key":"34_CR5","volume-title":"TR 93-81","author":"B. \u00d3. Nuall\u00e1in","year":"1993","unstructured":"Breannd\u00e1n \u00d3 Nuall\u00e1in. Model generation with partial deduction of Horn clauses. TR 93-81, CCSOM, Universiteit van Amsterdam, The Netherlands, March 1993."},{"key":"34_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(77)90012-1","volume":"9","author":"W. Bledsoe","year":"1977","unstructured":"W. Bledsoe. Non-resolution theorem proving. Artificial Intelligence, 9:1\u201335, 1977.","journal-title":"Artificial Intelligence"},{"key":"34_CR7","volume-title":"TR 92-78","author":"B. \u00d3. Nuall\u00e1in","year":"1992","unstructured":"Breannd\u00e1n \u00d3 Nuall\u00e1in. Equality and model generation. TR 92-78, CCSOM, Universiteit van Amsterdam, The Netherlands, December 1992."},{"key":"34_CR8","volume-title":"TR 93-80","author":"B. \u00d3. Nuall\u00e1in","year":"1993","unstructured":"Breannd\u00e1n \u00d3 Nuall\u00e1in. Safe goal reduction in model generation with equality. TR 93-80, CCSOM, Universiteit van Amsterdam, The Netherlands, January 1993."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56944-8_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:57:48Z","timestamp":1619557068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56944-8_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569442","9783540478300"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56944-8_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}