{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T06:49:56Z","timestamp":1792824596310,"version":"4.5.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319516752","type":"print"},{"value":"9783319516769","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_3","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T02:14:29Z","timestamp":1481940869000},"page":"34-49","source":"Crossref","is-referenced-by-count":7,"title":["An Overview of P $$\\rho $$ Log"],"prefix":"10.1007","author":[{"given":"Besik","family":"Dundua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Reisenberger-Hagmayer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: piggybacking rewriting on Java. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 36\u201347. Springer, Berlin (2007). doi: 10.1007\/978-3-540-73449-9_5"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.jsc.2014.01.004","volume":"65","author":"W Belkhir","year":"2014","unstructured":"Belkhir, W., Giorgetti, A., Lenczner, M.: A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65, 49\u201378 (2014)","journal-title":"J. Symb. Comput."},{"key":"3_CR3","first-page":"35","volume":"4","author":"P Borovansk\u00fd","year":"1996","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: Elan: a logical framework based on computational systems. ENTCS 4, 35\u201350 (1996)","journal-title":"ENTCS"},{"issue":"6","key":"3_CR4","first-page":"769","volume":"2","author":"Y Caseau","year":"2002","unstructured":"Caseau, Y., Josset, F., Laburthe, F.: CLAIRE: combining sets, search and rules to better express algorithms. TPLP 2(6), 769\u2013805 (2002)","journal-title":"TPLP"},{"issue":"3","key":"3_CR5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/9.3.339","volume":"9","author":"H Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C.: The rewriting calculus - parts I and II. Logic J. IGPL 9(3), 339\u2013410 (2001)","journal-title":"Logic J. IGPL"},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-15918-3_13","volume-title":"Web Reasoning and Rule Systems","author":"J Coelho","year":"2010","unstructured":"Coelho, J., Dundua, B., Florido, M., Kutsia, T.: A rule-based approach to XML processing and Web reasoning. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 164\u2013172. Springer, Berlin (2010). doi: 10.1007\/978-3-642-15918-3_13"},{"issue":"4","key":"3_CR8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1006\/jsco.1997.0186","volume":"25","author":"H Comon","year":"1998","unstructured":"Comon, H.: Completion of rewrite systems with membership constraints. Part II: constraint solving. J. Symb. Comput. 25(4), 421\u2013453 (1998)","journal-title":"J. Symb. Comput."},{"key":"3_CR9","unstructured":"Dembinski, P., Maluszynski, J.: And-parallelism with intelligent backtracking for annotated logic programs. In: Proceedings of 1985 Symposium on Logic Programming, pp. 29\u201338. IEEE-CS (1985)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Dundua, B., Kutsia, T., Marin, M.: Strategies in P $$\\rho $$ Log. In: Fern\u00e1ndez, M. (ed.) 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, vol. 15 of EPTCS, pp. 32\u201343 (2009)","DOI":"10.4204\/EPTCS.15.3"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Dundua, B., Kutsia, T., Reisenberger-Hagmayer, K.: An overview of P $$\\rho $$ Log. RISC Report Series 16\u201305, RISC, University of Linz (2016)","DOI":"10.1007\/978-3-319-51676-9_3"},{"issue":"1\u20133","key":"3_CR12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"TW Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.W.: Theory and practice of constraint handling rules. J. Log. Program. 37(1\u20133), 95\u2013138 (1998)","journal-title":"J. Log. Program."},{"issue":"3","key":"3_CR13","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1016\/j.jsc.2006.12.002","volume":"42","author":"T Kutsia","year":"2007","unstructured":"Kutsia, T.: Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42(3), 352\u2013388 (2007)","journal-title":"J. Symb. Comput."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11591191_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T Kutsia","year":"2005","unstructured":"Kutsia, T., Marin, M.: Matching with regular constraints. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 215\u2013229. Springer, Berlin (2005). doi: 10.1007\/11591191_16"},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"3_CR16","unstructured":"Marin, M., Kutsia, T.: On the implementation of a rule-based programming system and some of its applications. In: Konev, B., Schmidt, R. (eds.) Proceedings of 4th International Workshop on the Implementation of Logics, WIL 2004, pp. 55\u201369 (2003)"},{"issue":"1\u20132","key":"3_CR17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3166\/jancl.16.151-168","volume":"16","author":"M Marin","year":"2006","unstructured":"Marin, M., Kutsia, T.: Foundations of the rule-based system $$\\rho $$ Log. J. Appl. Non-Classical Logics 16(1\u20132), 151\u2013168 (2006)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"3_CR18","unstructured":"Marin, M., Piroi, F.: Rule-based programming with Mathematica. In: Proceedings of the 6th International Mathematica Symposium, Alberta, Canada (2004)"},{"key":"3_CR19","unstructured":"Monagan, M.B., Geddes, K.O., Heal, K.M., Labahn, G., Vorkoetter, S.M., McCarron, J., DeMarco, P.: Maple 10 programming guide. Maplesoft (2005)"},{"key":"3_CR20","unstructured":"Nguyen, P.: Meta-mining: a meta-learning framework to support the recommendation, planning and optimization of data mining workflows. Ph.D. thesis, Department of Computer Science, University of Geneva (2015)"},{"issue":"2","key":"3_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S1571-0661(04)80917-4","volume":"44","author":"M Brand van den","year":"2001","unstructured":"van den Brand, M., van Deursen, A., Heering, J., de Jong, H., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: a component-based language development environment. Electr. Notes Theor. Comput. Sci. 44(2), 3\u20138 (2001)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E Visser","year":"2001","unstructured":"Visser, E.: Stratego: a language for program transformation based on rewriting strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 357\u2013361. Springer, Berlin (2001). doi: 10.1007\/3-540-45127-7_27"},{"issue":"1\u20132","key":"3_CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theor. Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theor. Pract. Logic Program."},{"key":"3_CR24","volume-title":"The Mathematica Book","author":"S Wolfram","year":"2003","unstructured":"Wolfram, S.: The Mathematica Book, 5th edn. Wolfram-Media, Champaign (2003)","edition":"5"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T12:43:00Z","timestamp":1568637780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}