{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:06:54Z","timestamp":1749182814704,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1006080931326","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T00:38:24Z","timestamp":1040517504000},"page":"241-262","source":"Crossref","is-referenced-by-count":9,"title":["Reasoning about Solids Using Constraint Logic Programming"],"prefix":"10.1007","volume":"22","author":[{"given":"Gilles","family":"Pesant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Boyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"166359_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K. R. Apt","year":"1994","unstructured":"Apt, K. R. and Bol, R. N.: Logic programming and negation: A survey, J. Logic Programming\n19\/20 (1994), 9\u201371.","journal-title":"J. Logic Programming"},{"key":"166359_CR2","first-page":"661","volume-title":"Proc. International Logic Programming Symposium","author":"C. Brzoska","year":"1991","unstructured":"Brzoska, C.: Temporal logic programming and its relation to constraint logic programming, in Proc. International Logic Programming Symposium, MIT Press, Cambridge, MA, 1991, pp. 661\u2013677."},{"key":"166359_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7551-4","volume-title":"Computer Algebra: Symbolic and Algebraic Computation","author":"B. Buchberger","year":"1983","unstructured":"Buchberger, B. and Loos, R.: Algebraic simplification, in B. Buchberger, G.E. Collins, and R. Loos (eds.), Computer Algebra: Symbolic and Algebraic Computation, Springer-Verlag, Berlin, 1983."},{"key":"166359_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L.: Negation as failure, in H. Gallaire and J. Minker (eds.), Logic and Databases, Plenum Press, New York, 1978, pp. 293\u2013322."},{"key":"166359_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF00245462","volume":"9","author":"N. Heintze","year":"1992","unstructured":"Heintze, N., Michaylov, S., and Stuckey, P.: CLP(<) and some electrical engineering problems, J. Automated Reasoning\n9 (1992), 231\u2013260.","journal-title":"J. Automated Reasoning"},{"key":"166359_CR6","volume-title":"Geometric and Solid Modeling: An Introduction","author":"C. M. Hoffmann","year":"1989","unstructured":"Hoffmann, C. M.: Geometric and Solid Modeling: An Introduction, Morgan Kaufmann, San Mateo, CA, 1989."},{"key":"166359_CR7","volume-title":"Constraint Logic Programming: Selected Research","author":"H. Hong","year":"1993","unstructured":"Hong, H.: RISC-CLP(Real): Constraint logic programming over real numbers, in F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993."},{"key":"166359_CR8","unstructured":"Jaffar, J. and Lassez, J.-L.: Constraint logic programming, Technical Report 86\/73, Dept. of Computer Science, Monash University, June 1986."},{"key":"166359_CR9","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J.-L.: Constraint logic programming, in Proc. 14th ACM Symposium on Principles of Programming Languages, Munich, January 1987, pp. 111\u2013119.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"166359_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C.: The CLP(<) language and system, ACM Trans. on Programming Languages and Systems\n14(3) (1992), 339\u2013395.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"166359_CR11","first-page":"154","volume-title":"Proc. North American Conference on Logic Programming","author":"J. Jourdan","year":"1990","unstructured":"Jourdan, J. and Vald\u00e9s-P\u00e9rez, R. E.: Constraint logic programming applied to hypothetical reasoning in chemistry, in Proc. North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 154\u2013172. (Page 161 should follow page 166.)"},{"issue":"1","key":"166359_CR12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P. C. Kanellakis","year":"1995","unstructured":"Kanellakis, P. C., Kuper, G. M., and Revesz, P. Z.: Constraint query languages, J. Comput. System Sci.\n51(1) (1995), 26\u201352.","journal-title":"J. Comput. System Sci."},{"issue":"3","key":"166359_CR13","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MEX.1987.4307090","volume":"2","author":"C. Lassez","year":"1987","unstructured":"Lassez, C.,McAloon, K., and Yap, R.: Constraint logic programming and options trading, IEEE Expert\n2(3) (1987), 42\u201350. Special Issue on Financial Software.","journal-title":"IEEE Expert"},{"key":"166359_CR14","volume-title":"Constraint Logic Programming: Selected Research","author":"W. Older","year":"1993","unstructured":"Older, W. and Vellino, A.: Constraint arithmetic on real intervals, in F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993."},{"key":"166359_CR15","unstructured":"Pesant, G.: Une approche g\n\u00e9\nom\n\u00e9\ntrique aux contraintes arithm\n\u00e9\ntiques quadratiques en programmation logique avec contraintes, Ph.D. Thesis, University of Montreal, 1995."},{"key":"166359_CR16","doi-asserted-by":"crossref","unstructured":"Pesant, G. and Boyer, M.: QUAD-CLP(R): Adding the power of quadratic constraints, in Principles and Practice of Constraint Programming: Proc. Second International Workshop, Lecture Notes in Computer Science 874, Springer-Verlag, Berlin, 1994, pp. 95\u2013108.","DOI":"10.1007\/3-540-58601-6_93"},{"key":"166359_CR17","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E.: The Art of Prolog, MIT Press, Cambridge, MA, 1986."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006080931326.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006080931326\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006080931326.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:42:41Z","timestamp":1749123761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006080931326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["166359"],"URL":"https:\/\/doi.org\/10.1023\/a:1006080931326","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}