{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:40Z","timestamp":1725467440326},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558446"},{"type":"electronic","value":"9783540472971"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55844-6_164","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"491-492","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CLP(PB)"],"prefix":"10.1007","author":[{"given":"Peter","family":"Barth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"41_CR1","volume-title":"Technical report","author":"P. Barth","year":"1992","unstructured":"Peter Barth. CLP(PB); A Meta-Interpreter in CLP(R). Technical report, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1992."},{"key":"41_CR2","volume-title":"Technical Report mpii-91-227","author":"A. Bockmayr","year":"1991","unstructured":"A. Bockmayr. Logic programming with pseudo-boolean constraints. Technical Report mpii-91-227, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1991. to appear in: A. Colmerauer and gnF. Benhamou, editors, Constraint Logic Programming \u2014 Selected Papers."},{"key":"41_CR3","first-page":"17","volume":"4","author":"R. Fortet","year":"1960","unstructured":"R. Fortet. Applications de l'alg\u00e8bre de boole en recherche op\u00e9rationelle. Rev. Fran\u00c7aise Recherche Op\u00e9r., 4:17\u201326, 1960.","journal-title":"Rev. Fran\u00c7aise Recherche Op\u00e9r."},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"P.L. Hammer and S. Rudeanu. Boolean Methods in Operations Research and Related Areas. Springer-Verlag, 1968.","DOI":"10.1007\/978-3-642-85823-9"},{"key":"41_CR5","unstructured":"Nevin Heintze, Spiro Michaylov, Peter Stuckey, and Roland Yap. On meta-programming in CLP(R). In Ewing Lusk and Ross Overbeek, editors, Logic Programming: Proceedings of the North Amercian Conference, 1989, pages 52\u201368. MIT Press, October 1989."},{"key":"41_CR6","volume-title":"Technical Report 86\/73","author":"J. Jaffar","year":"1986","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. Technical Report 86\/73, Monash University, Victoria, Australia, June 1986."},{"key":"41_CR7","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. Technical Report RC 16292 (#72336) 11\/15\/90, IBM Research Division, November 1990."},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"R.E. Jeroslow and J. Wang. Solving propositional satisfiability problems. Annals of Mathematics and AI, 1, 1990.","DOI":"10.1007\/BF01531077"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55844-6_164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T02:20:06Z","timestamp":1578536406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_164"}},"subtitle":["A meta-interpreter in CLP(R)"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558446","9783540472971"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_164","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"28 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}