{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:05:21Z","timestamp":1767236721899},"reference-count":23,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.151-168","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:14:19Z","timestamp":1176297259000},"page":"151-168","source":"Crossref","is-referenced-by-count":25,"title":["Foundations of the rule-based system \u03c1Log"],"prefix":"10.1080","volume":"16","author":[{"given":"Mircea","family":"Marin","sequence":"first","affiliation":[{"name":"a   Graduate School of Systems and Information Engineering , University of Tsukuba ,  Tsukuba ,  305-8573 ,  Japan"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[{"name":"b   Research Institute for Symbolic Computation , Johannes Kepler University of Linz ,  A-4232 ,  Castle of Hagenberg ,  Austria"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"issue":"20","key":"CIT0001","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"APT K. R.","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"CIT0002","first-page":"1","volume-title":"Algebraic Specification","author":"BERGSTRA J.","year":"1989"},{"key":"CIT0003","volume-title":"Wokshop on term graph rewriting","author":"BERTOLISSI C."},{"key":"CIT0004","volume-title":"Beitr\u00e4ge zur Theorie des Logisch-Funktionalen Programmierens","author":"BOCKMAYR A.","year":"1990"},{"issue":"2","key":"CIT0005","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"BOROVANSK\u00dd P.","year":"2002","journal-title":"TCS"},{"key":"CIT0006","volume-title":"Post-proceedings of TYPES'03","author":"CIRSTEA H."},{"key":"CIT0007","volume-title":"Proceedings of the 5th workshop on rewriting logic and applications","author":"CIRSTEA H."},{"issue":"2","key":"CIT0008","first-page":"186","volume":"285","author":"CLAVEL M.","year":"2002","journal-title":"TCS"},{"issue":"2","key":"CIT0009","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"DIACONESCU R.","year":"2002","journal-title":"TCS"},{"key":"CIT0010","volume-title":"Genetics: the continuity of life","author":"FAIRBANKS D. J.","year":"1999"},{"key":"CIT0011","volume-title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","author":"GALLIER J.","year":"1985"},{"key":"CIT0012","first-page":"77","volume-title":"Proceedings of UNIF'05","author":"KUTSIA T.","year":"2005"},{"key":"CIT0013","first-page":"215","volume-title":"Proceedings of LPAR'05, vol. 3835 of LNAI","author":"KUTSIA T."},{"key":"CIT0014","first-page":"55","volume-title":"Proceedings of the 4th International Workshop on the Implementation of Logics","author":"MARIN M.","year":"2003"},{"key":"CIT0015","first-page":"227","volume-title":"Proceedings of SYNASC 2004","author":"MARIN M.","year":"2004"},{"key":"CIT0016","first-page":"120","volume-title":"Proceedings of the Sixth ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"MARIN M.","year":"2004"},{"key":"CIT0017","first-page":"161","volume-title":"Mathematical Knowledge Management Symposium, , vol. 93 of ENTCS","author":"MARIN M.","year":"2004"},{"key":"CIT0018","volume-title":"Electronic Proceedings of IMS 2004","author":"MARIN M.","year":"2004"},{"issue":"1","key":"CIT0019","first-page":"50","volume":"11","author":"MARIN M.","year":"2006","journal-title":"Mathematica in Education and Research"},{"issue":"96","key":"CIT0020","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"1","author":"MESEGUER J.","year":"1992","journal-title":"TCS"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s002000100064","volume":"12","author":"OHLEBUSCH E.","year":"2001","journal-title":"AAECC"},{"key":"CIT0022","volume-title":"WRLA'98, vol. 15 of ENTCS","author":"VISSER E.","year":"1998"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"Domain-Specific Program Generation, vol. 3016 of LNCS","author":"VISSER E.","year":"2004"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.151-168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:27:05Z","timestamp":1498228025000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.151-168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":23,"journal-issue":{"issue":"1-2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.151-168"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.151-168","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}