{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:43Z","timestamp":1761611203408},"reference-count":29,"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.119-150","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:14:19Z","timestamp":1176297259000},"page":"119-150","source":"Crossref","is-referenced-by-count":2,"title":["SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"F. L. C.","family":"de Moura","sequence":"first","affiliation":[{"name":"a   Departamento de Matem\u00e1tica , Universidade de Bras\u00edlia ,  70900-910 ,  Bras\u00edlia D.F. ,  Brasil"}]},{"given":"M.","family":"Ayala-Rinc\u00f3n","sequence":"additional","affiliation":[{"name":"a   Departamento de Matem\u00e1tica , Universidade de Bras\u00edlia ,  70900-910 ,  Bras\u00edlia D.F. ,  Brasil"}]},{"given":"F.","family":"Kamareddine","sequence":"additional","affiliation":[{"name":"b   School of Mathematical and Computer Sciences , Heriot-Watt University ,  Edinburgh ,  EH14 4AS ,  Scotland"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"issue":"4","key":"CIT0001","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"ABADI M.","year":"1991","journal-title":"J. of Func. Programming"},{"issue":"4","key":"CIT0002","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1093\/jigpal\/9.4.489","volume":"9","author":"AYALA-RINCON M.","year":"2001","journal-title":"The Logical Journal of the IGPL"},{"issue":"1","key":"CIT0003","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.apal.2004.06.009","volume":"134","author":"AYALA-RINCON M.","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752"},{"key":"CIT0005","volume-title":"The Lambda Calculus : Its Syntax and Semantics (revised edition)","author":"BARENDREGT H. P.","year":"1984"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/BFb0014047","volume-title":"Typed lambda calculi and applications, vol. 902 of LNCS","author":"BRIAUD D.","year":"1995"},{"issue":"5","key":"CIT0007","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"DE BRUIJN N.","year":"1972","journal-title":"Indag. Mat."},{"issue":"1","key":"CIT0008","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/inco.1999.2837","volume":"157","author":"DOWEK G.","year":"2000","journal-title":"Information and Computation"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1017\/S0960129504004633","volume":"15","author":"FERNANDEZ M.","year":"2005","journal-title":"Math. Struct. in Comp. Science"},{"key":"CIT0010","volume-title":"Analise de Mecanismos para Combinar passos de Beta-Contra\u00e7\u00e3o em C\u00e1lculos de Substitui\u00e7\u00f5es Expl\u00edcitas","author":"FERREIRA H.","year":"2005"},{"issue":"4","key":"CIT0011","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1017\/S0956796800003695","volume":"10","author":"GUILLAUME B.","year":"2000","journal-title":"J. of Func. Programming"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BFb0013834","volume-title":"Algebraic and logic programming, vol. 632 of LNCS","author":"HARDIN T.","year":"1992"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(93)90087-A","volume":"121","author":"HUET G.","year":"1993","journal-title":"TCS"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(95)00101-8","volume":"155","author":"KAMAREDDINE F.","year":"1996","journal-title":"TCS"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1017\/S0956796897002785","volume":"7","author":"KAMAREDDINE F.","year":"1997","journal-title":"J. of Func. Programming"},{"issue":"3","key":"CIT0016","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1093\/logcom\/10.3.349","volume":"10","author":"KAMAREDDINE F.","year":"2000","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"CIT0017","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0304-3975(98)00166-2","volume":"238","author":"KESNER D.","year":"2000","journal-title":"TCS"},{"key":"CIT0018","first-page":"192","volume-title":"Rewriting Techniques and Applications (RTA 2002), vol. 2378 of LNCS","author":"LIANG C.","year":"2002"},{"issue":"2","key":"CIT0019","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10817-004-6885-1","volume":"33","author":"LIANG C.","year":"2004","journal-title":"JAR"},{"key":"CIT0020","first-page":"328","volume-title":"LNCS","volume":"902","author":"MELLI\u00c8S P.-A.","year":"1995"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/978-3-540-32275-7_29","volume-title":"11th International Conference on Logic for Programming Artificial Intelligence and Reasoning","volume":"3452","author":"DE MOURA F. L. C."},{"key":"CIT0022","first-page":"810","volume-title":"Proc. 5th Int. Logic Programming Conference","author":"NADATHUR G."},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0304-3975(97)00184-9","volume":"198","author":"NADATHUR G.","year":"1998","journal-title":"TCS"},{"issue":"2","key":"CIT0024","first-page":"1","volume":"1999","author":"NADATHUR G.","year":"1999","journal-title":"J. of Func. and Logic Prog."},{"key":"CIT0025","volume-title":"Proceedings Ninth Workshop on Logic, Language, Information and Computation, vol. 67 of ENTCS","author":"NADATHUR G."},{"key":"CIT0026","first-page":"195","volume-title":"Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"NADATHUR G."},{"key":"CIT0027","volume-title":"Selected papers on Automath","author":"NEDERPELT R. P.","year":"1994"},{"key":"CIT0028","volume-title":"Contribution \u00e0 l'\u00e9tude des \u03b4-calculs avec substitutions explicites","author":"R\u00cdOS A.","year":"1993"},{"issue":"1","key":"CIT0029","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/j.tcs.2004.06.016","volume":"323","author":"URBAN C.","year":"2004","journal-title":"TCS"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.119-150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:27:17Z","timestamp":1498228037000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.119-150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":29,"journal-issue":{"issue":"1-2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.119-150"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.119-150","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}