{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T07:33:22Z","timestamp":1787643202345,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617396","type":"print"},{"value":"9783540706748","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:52Z","timestamp":1330294732000},"page":"285-300","source":"Crossref","is-referenced-by-count":14,"title":["Tractable constraints in finite semilattices"],"prefix":"10.1007","author":[{"given":"Jakob","family":"Rehof","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Torben \u00c6.","family":"Mogensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Birkedal, M. Tofte, and M. Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proc. 23rd Annual ACM Symposium on Principles of Programming Languages (POPL), pages 171\u2013183. ACM Press, January 1996.","DOI":"10.1145\/237721.237771"},{"issue":"3","key":"20_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01019003","volume":"8","author":"L. Birkedal","year":"1995","unstructured":"L. Birkedal and M. Welinder. Binding-time analysis for Standard ML. Lisp and Symbolic Computation, 8(3):191\u2013208, September 1995.","journal-title":"Lisp and Symbolic Computation"},{"issue":"3","key":"20_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"A. Bondorf and J. J\u00d8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315\u2013346, July 1993.","journal-title":"Journal of Functional Programming"},{"key":"20_CR4","unstructured":"C.C. Chang and H.J. Keisler. Model Theory. Studies in Logic and the Foundation of Mathematics, Vol. 73, 3rd ed., North Holland, 1990."},{"key":"20_CR5","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge Mathematical Textbooks, Cambridge University Press, 1990."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0004-3702(92)90009-M","volume":"58","author":"R. Dechter","year":"1992","unstructured":"R. Dechter and J. Pearl. Structure identification in relational data. Artificial Intelligence, 58:237\u2013270, 1992.","journal-title":"Artificial Intelligence"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. F. Dowling","year":"1984","unstructured":"William F. Dowling and Jean H. Gallier. Linear-time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming, 3:267\u2013284, 1984.","journal-title":"Journal of Logic Programming"},{"key":"20_CR8","volume-title":"Lecture Notes in Computer Science","author":"D. Dussart","year":"1995","unstructured":"Dirk Dussart, Fritz Henglein, and Christian Mossin. Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time. In Proc. 2nd Int'l Static Analysis Symposium (SAS), Glasgow, Scotland, Lecture Notes in Computer Science. Springer-Verlag, September 1995."},{"key":"20_CR9","unstructured":"M. Garey and D. Johnson. Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness, Freeman, 1979."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"R. Greenlaw, H.J. Hoover, and W. Ruzzo. Limits to Parallel Computation. P-Completeness Theory. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780195085914.001.0001"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science, vol. 523","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991","author":"F. Henglein","year":"1991","unstructured":"F. Henglein. Efficient type inference for higher-order binding-time analysis. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991 (Lecture Notes in Computer Science, vol. 523), pages 448\u2013472. ACM, Berlin: Springer-Verlag, 1991."},{"key":"20_CR12","unstructured":"W. Hodges. Model Theory. Encyclopedia of Mathematics and its Applications, Vol. 42, Cambridge University Press, 1993."},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0004-3702(95)00107-7","volume":"79","author":"P. Jeavons","year":"1995","unstructured":"P. Jeavons and M. Cooper. Tractable constraints on ordered domains. Artificial Intelligence, 79:327\u2013339, 1995.","journal-title":"Artificial Intelligence"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Peter Jeavons and David Cohen. An algebraic characterization of tractable constraints. In First Annual Conference on Computing and Combinatorics (COCOON), pages 633\u2013642. Springer Verlag, LNCS 959, 1995.","DOI":"10.1007\/BFb0030886"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Peter Jeavons, David Cohen, and Marc Gyssens. A unifying framework for tractable constraints. In First International Conference on Principles and Practice of Constraint Programming, pages 276\u2013291. Springer Verlag, LNCS 976, 1995.","DOI":"10.1007\/3-540-60299-2_17"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"G. Kildall. A unified approach to global program optimization. Proc. ACM Symp. on Principles of Programming Languages (POPL), 1973.","DOI":"10.1145\/512927.512945"},{"key":"20_CR17","unstructured":"T. \u00c6. Mogensen. Types for 0, 1 or many uses. Technical report, In preparation, 1996."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Vaughan Pratt and Jerzy Tiuryn. Satisfiability of inequalities in a poset. Studia Logica, Helene Rasiowa memorial issue (to appear), 1996.","DOI":"10.3233\/FI-1996-281211"},{"key":"20_CR19","volume-title":"Technical report","author":"J. Rehof","year":"1996","unstructured":"Jakob Rehof and Torben Mogensen. Report on tractable constraints in finite semilattices. Technical report, DIKU, Dept. of Computer Science, University of Copenhagen, Denmark, Available at http:\/\/www.diku.dk\/researchgroups\/topps\/personal\/ rehof\/publications.html, 1996."},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Thomas J. Schaefer. The complexity of satisfiability problems. In Tenth Annual Symposium on the Theory of Computing (STOC), pages 216\u2013226. ACM, 1978.","DOI":"10.1145\/800133.804350"},{"key":"20_CR21","volume-title":"Implementation of the typed call-by-value \u03bbcalculus using a stack of regions","author":"M. Tofte","year":"1994","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value \u03bbcalculus using a stack of regions. In Proc. 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Portland, Oregon. ACM, ACM Press, January 1994."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:59:21Z","timestamp":1640948361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}