{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:51:01Z","timestamp":1725666661803},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197836"},{"type":"electronic","value":"9781447134213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3421-3_6","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:42:32Z","timestamp":1331192552000},"page":"97-107","source":"Crossref","is-referenced-by-count":0,"title":["Modularity for Logic Programs"],"prefix":"10.1007","author":[{"given":"G.","family":"Antoniou","sequence":"first","affiliation":[]},{"given":"V.","family":"Sperschneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"The Unified Computation Laboratory","author":"G Antoniou","year":"1992","unstructured":"Antoniou G. Modules and Verification. In: Rattray R., Clark R.G. (eds) The Unified Computation Laboratory, Oxford University Press 1992"},{"key":"6_CR2","volume-title":"On the Verification of Modules","author":"G Antoniou","year":"1989","unstructured":"Antoniou, G. & Sperschneider, V. On the Verification of Modules. CSL\u2019 89, Springer LNCS, 1989"},{"key":"6_CR3","series-title":"OSM Technical Report, Fachbereich 6, University of Osnabrueck","volume-title":"Horn-Logic Approach to Modular KBS","author":"G Antoniou","year":"1991","unstructured":"Antoniou, G. & Sperschneider, V. A Horn-Logic Approach to Modular KBS. OSM Technical Report, Fachbereich 6, University of Osnabrueck 1991"},{"key":"6_CR4","first-page":"293","volume":"34","author":"EK Blum","year":"1987","unstructured":"Blum, E.K., Ehrig, H. and Parisi-Presicce, F. Algebraic Specification of Modules and Their Basic Interconnections. JCSS 34, pp. 293\u2013339, 1987","journal-title":"JCSS"},{"key":"6_CR5","volume-title":"Modules in Prolog. British Standards Institution \u2014 IST\/5\/15 Prolog","author":"YC Chan","year":"1987","unstructured":"Chan, Y. C. and Poterie, B. Modules in Prolog. British Standards Institution \u2014 IST\/5\/15 Prolog, Document PS\/185, 1987"},{"key":"6_CR6","volume-title":"Proc. TAPSOFT 89, 126\u2013139, Springer LNCS","author":"R Dietrich","year":"1989","unstructured":"Dietrich, R. A Preprocessor Based Module System for Prolog. In: Proc. TAPSOFT 89, 126\u2013139, Springer LNCS, 1989"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification Vol. 2","author":"H Ehrig","year":"1990","unstructured":"Ehrig, H. and Mahr, B. Fundamentals of Algebraic Specification Vol. 2. Springer 1990"},{"key":"6_CR8","volume-title":"Introduction to Algebraic Specification in ACT TWO","author":"W Fey","year":"1986","unstructured":"Fey, W. Introduction to Algebraic Specification in ACT TWO. Bericht 86\u201313, FB 20, TU Berlin, 1986"},{"key":"6_CR9","volume-title":"The Goedel Report. TR-91\u201302, Computer Science Department, University of Bristol","author":"PM Hill","year":"1991","unstructured":"Hill, P.M. & Lloyd, J.W. The Goedel Report. TR-91\u201302, Computer Science Department, University of Bristol 1991"},{"key":"6_CR10","volume-title":"KA-Prolog: Sprachdefinition. Interner Bericht 5\/87 Universit Karlsruhe","author":"N Lindenberg","year":"1987","unstructured":"Lindenberg, N. et al. KA-Prolog: Sprachdefinition. Interner Bericht 5\/87 Universit Karlsruhe 1987"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W. Foundations of Logic Programming. 2. ed., Springer 1987","edition":"2"},{"key":"6_CR12","volume-title":"Dissertation, Fakultat f\u0159 Informatik, Universit Karlsruhe","author":"W Reif","year":"1991","unstructured":"Reif, W. A Logical Theory of Module Correctness. Dissertation, Fakultat f\u0159 Informatik, Universit Karlsruhe 1991"},{"key":"6_CR13","volume-title":"Addison-Wesley","author":"V Sperschneider","year":"1991","unstructured":"Sperschneider, V. and Antoniou, G. Logic: A Foundation for Computer Science. Addison-Wesley 1991"},{"key":"6_CR14","series-title":"Technical Report P 132, Dep. of Mathematics and Computer Science, University of Osnabrueck","volume-title":"Modularity and Verification in Logic Programming","author":"V Sperschneider","year":"1990","unstructured":"Sperschneider, V. Modularity and Verification in Logic Programming. Technical Report P 132, Dep. of Mathematics and Computer Science, University of Osnabrueck 1990"},{"key":"6_CR15","first-page":"69","volume-title":"Proc. Workshop on Prolog Programming Environments, Linkoping","author":"P Szeredi","year":"1982","unstructured":"Szeredi, P. Module Concepts for Prolog. In: Proc. Workshop on Prolog Programming Environments, Linkoping 1982, 69\u201380"}],"container-title":["Workshops in Computing","ALPUK92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3421-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:19:13Z","timestamp":1556453953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3421-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540197836","9781447134213"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}