{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:49Z","timestamp":1725495049941},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759744"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75975-1_6","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:40:55Z","timestamp":1194986455000},"page":"63-77","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Module System for Web Rule Languages: Divide and Rule"],"prefix":"10.1007","author":[{"given":"Uwe","family":"A\u00dfmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sacha","family":"Berger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Bry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Furche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Henriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paula-Lavinia","family":"P\u0103tr\u00e2njan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing Co, Boston, MA, USA (1995)"},{"unstructured":"A\u00dfmann, U., Berger, S., Bry, F., Furche, T., Henriksson, J., Johannes, J.: Modular web queries\u2014from rules to stores (submitted for publication, 2007)","key":"6_CR2"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J.A. Bergstra","year":"1990","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: Module algebra. Journal of the ACM\u00a037(2), 335\u2013372 (1990)","journal-title":"Journal of the ACM"},{"key":"6_CR4","volume-title":"Logic Programming, Apic Studies in Data Processing","author":"K.A. Bowen","year":"1983","unstructured":"Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In: Clark, K., Tarnlund, S.A. (eds.) Logic Programming, Apic Studies in Data Processing, Academic Press, Inc, London (1983)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Modular logic programming. ACM Trans. Program. Lang. Syst.\u00a016(4), 1361\u20131398 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/158511.158703","volume-title":"Proc. ACM Symp. on Principles of Programming Languages (POPL)","author":"M. Codish","year":"1993","unstructured":"Codish, M., Debray, S.K., Giacobazzi, R.: Compositional analysis of modular logic programs. In: Proc. ACM Symp. on Principles of Programming Languages (POPL), pp. 451\u2013464. ACM Press, New York (1993)"},{"unstructured":"Giurca, A., Savulea, D.: An algebra of logic programs with applications in distributed environments. In: Annales of Craiova University. Mathematics and Computer Science Series, vol.\u00a0XXVIII, pp. 147\u2013159 (2001)","key":"6_CR7"},{"unstructured":"Henriksson, J., A\u00dfmann, U., Heidenreich, F., Johannes, J., Zschaler, S.: How dark should a component black box be? The Reuseware Answer. In: ECOOP 2007. Proc. of the 12th International Workshop on Component-Oriented Programming (WCOP) co-located with 21st European Conf. on Object-Oriented Programming (to appear, 2007)","key":"6_CR8"},{"unstructured":"Henriksson, J., Johannes, J., Zschaler, S., A\u00dfmann, U.: Reuseware \u2013 adding modularity to your language of choice. In: Proc. of TOOLS EUROPE 2007: Special Issue of the Journal of Object Technology (to appear, 2007)","key":"6_CR9"},{"key":"6_CR10","first-page":"578","volume-title":"Proc. ACM Symp. on Applied Computing (SAC)","author":"I. Karali","year":"1993","unstructured":"Karali, I., Pelecanos, E., Halatsis, C.: A versatile module system for prolog mapped to flat prolog. In: Proc. ACM Symp. on Applied Computing (SAC), pp. 578\u2013585. ACM Press, New York (1993)"},{"doi-asserted-by":"crossref","unstructured":"Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: RuleML, pp. 17\u201329 (2005)","key":"6_CR11","DOI":"10.1007\/11580072_3"},{"key":"6_CR12","first-page":"106","volume-title":"Proc. IEEE Symp. on Logic Programming","author":"D. Miller","year":"1986","unstructured":"Miller, D.: A theory of modules for logic programming. In: Proc. IEEE Symp. on Logic Programming, pp. 106\u2013114. IEEE Computer Society Press, Los Alamitos (1986)"},{"issue":"1-2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0743-1066(92)90042-2","volume":"12","author":"D.T. Sannella","year":"1992","unstructured":"Sannella, D.T., Wallen, L.A.: A calculus for the construction of modular prolog programs. Journal of Logic Programming\u00a012(1-2), 147\u2013177 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"Wirsing, M.: Structured algebraic specifications: A kernel language. Theoretical Computer Science\u00a042(2), 123\u2013244 (1986)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Rule Interchange and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75975-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:38:00Z","timestamp":1619505480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75975-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759744"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75975-1_6","relation":{},"subject":[]}}