{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:09Z","timestamp":1742596809109,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:19Z","timestamp":1330258159000},"page":"362-371","source":"Crossref","is-referenced-by-count":0,"title":["Defining soft sortedness by abstract interpretation"],"prefix":"10.1007","author":[{"given":"Jian","family":"Chen","sequence":"first","affiliation":[]},{"given":"John","family":"Staples","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"28_CR1","unstructured":"Abramsky, S. and Hankin, C. (eds.), Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Cartwright, R. and M. Fagan, \u201cSoft Typing\u201d, in Proceedings of the ACM SIG-PLAN'91 Conference on Programming Language Design and Implementation, pages 278\u2013292, 1991.","DOI":"10.1145\/113445.113469"},{"key":"28_CR3","volume-title":"PhD thesis","author":"J. Chen","year":"1992","unstructured":"Chen, J., \u201cSoft Sorting: Integrating Static and Dynamic Sort Checking\u201d, PhD thesis, Department of Computer Science, The University of Queensland, Australia, 1992."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Chen, J. and J. Staples, \u201cSoft Sorting in Logic Programming\u201d, in Proceedings of ALPUK'92, Springer-Verlag, pages 79\u201396, 1992.","DOI":"10.1007\/978-1-4471-3421-3_5"},{"key":"28_CR5","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G., \u201cA More Expressive Formulation of Many Sorted Logic\u201d, JAR 3(1987) 113\u2013200.","journal-title":"JAR"},{"key":"28_CR6","unstructured":"Comon, H., \u201cDisunification: A Survey\u201d, in Computational Logic: Essays in Honor of Alan Robinson, Lassez, J.-L. and Plotkin, G. (eds.), The MIT Press, 1991, 322\u2013359."},{"key":"28_CR7","unstructured":"Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1972."},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Henglein, F., \u201cDynamic Typing\u201d, in Proceedings of the 4th European Symposium on Programming (ESOP '92), pages 233\u2013253, LNCS 582, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55253-7_14"},{"key":"28_CR9","unstructured":"Hill, P. M. and R. W. Topor, \u201cA Semantics for Typed Logic Programs\u201d, in Pfenning, F., (ed.), Types in Logic Programming, The MIT Press, pages 1\u201362, 1992."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Kifer, M. and J. Wu, \u201cA First-Order Theory of Typed and Polymorphism in Logic Programming\u201d, in Proceedings of LICS '91, pages 310\u2013321, 1991.","DOI":"10.1109\/LICS.1991.151655"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Lassez, J.-L., M. J. Maher and K. Marriott, \u201cUnification Revisited\u201d, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann Publishers, pages 587\u2013625, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"28_CR13","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A. and R. A. O'Keefe, \u201cA Polymorphic Type System for Prolog\u201d, Artificial Intelligence 23, 295\u2013307, 1984.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:00:36Z","timestamp":1742594436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}