{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:15:47Z","timestamp":1725531347667},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006746"},{"type":"electronic","value":"9783642006753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00675-3_1","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T07:02:24Z","timestamp":1240210944000},"page":"1-20","source":"Crossref","is-referenced-by-count":0,"title":["A Guide for Manual Construction of Difference-List Procedures"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Geske","sequence":"first","affiliation":[]},{"given":"Hans-Joachim","family":"Goltz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-44464-5_17","volume-title":"Advances in Computing Science - ASIAN 2000","author":"E. Albert","year":"2000","unstructured":"Albert, E., Ferri, C., Steiner, F., Vidal, G.: Improving functional logic programs by difference-lists. In: He, J., Sato, M. (eds.) ASIAN 2000. LNCS, vol.\u00a01961, pp. 237\u2013254. Springer, Heidelberg (2000)"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83213-0","volume-title":"Prolog by Example","author":"H. Colhoe","year":"1988","unstructured":"Colhoe, H., Cotta, J.C.: Prolog by Example. Springer, Heidelberg (1988)"},{"key":"1_CR3","series-title":"Prolog Programming for the Working Programmer","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58274-5","volume-title":"Clause and Effect","author":"W.F. Clocksin","year":"1997","unstructured":"Clocksin, W.F.: Clause and Effect. Prolog Programming for the Working Programmer. Springer, Heidelberg (1997)"},{"key":"1_CR4","unstructured":"Clocksin, W.F.: Prolog Programming. Lecture Prolog for Artificial Intelligence 2001-02 at University of Cambridge, Computer Laboratory (2002)"},{"key":"1_CR5","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (1981, 1984, 1987)"},{"key":"1_CR6","volume-title":"Micro-Prolog: Programming in Logic","author":"K.L. Clark","year":"1984","unstructured":"Clark, K.L., McCabe, F.G.: Micro-Prolog: Programming in Logic. Prentice Hall International, Englewood Cliffs (1984)"},{"key":"1_CR7","first-page":"939","volume-title":"Information Processing","author":"K.L. Clark","year":"1977","unstructured":"Clark, K.L., T\u00e4rnlund, S.\u00c5.: A First Order Theory of Data and Programs. In: Gilchrist, B. (ed.) Information Processing, pp. 939\u2013944. North Holland, Amsterdam (1977)"},{"key":"1_CR8","volume-title":"Prolog. A Logical Approach","author":"T. Dodd","year":"1990","unstructured":"Dodd, T.: Prolog. A Logical Approach. Oxford University Press, Oxford (1990)"},{"key":"1_CR9","unstructured":"Geske, U.: How to teach difference-lists. Tutorial. In: Online Proceedings \u2013 WLP 2006 (2006) (last visited, September 06, 2007), \n                    \n                      http:\/\/www.kr.tuwien.ac.at\/wlp06\/T02-final.ps.gz"},{"key":"1_CR10","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Prolog Transformation by Introduction of Difference-Lists. TR 88\/14. Dept. CS, The University of Melbourne (1988)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BF03037156","volume":"11","author":"K. Marriott","year":"1993","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Prolog Difference-list transformation for Prolog. New Generation Computing\u00a011, 125\u2013157 (1993)","journal-title":"New Generation Computing"},{"key":"1_CR12","unstructured":"Maier, D., Warren, D.S.: Computing with Logic. The Benjamin\/Cummings Publisher Company, Inc. (1988)"},{"key":"1_CR13","volume-title":"The Craft of Prolog","author":"R.A. O\u2019Keefe","year":"1990","unstructured":"O\u2019Keefe, R.A.: The Craft of Prolog. The MIT Press, Cambridge (1990)"},{"key":"1_CR14","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986); seventh printing (1991)"},{"key":"1_CR15","unstructured":"Zhang, J., Grant, P.W.: An automatic difference-list transformation algorithm for Prolog. In: Kodratoff, Y. (ed.) Proc. 1988 European Conf. Artificial Intelligence, pp. 320\u2013325. Pittman (1988)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00675-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T16:23:00Z","timestamp":1551975780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00675-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006746","9783642006753"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00675-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}