{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T23:02:41Z","timestamp":1776553361102,"version":"3.51.2"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2011,12,1]]},"DOI":"10.1093\/jigpal\/jzq009","type":"journal-article","created":{"date-parts":[[2010,4,30]],"date-time":"2010-04-30T00:49:37Z","timestamp":1272588577000},"page":"731-762","source":"Crossref","is-referenced-by-count":4,"title":["Modular termination of basic narrowing and equational unification"],"prefix":"10.1093","volume":"19","author":[{"given":"M.","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Iborra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2010,4,29]]},"reference":[{"key":"3_37185760","doi-asserted-by":"crossref","first-page":"4608","DOI":"10.1016\/j.tcs.2009.07.037","volume":"410","year":"2009","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"5_37185761","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(94)00224-7","volume":"142","year":"1995","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"6_37185762","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1145\/291891.291896","volume":"20","year":"1998","journal-title":"ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS"},{"key":"7_37185763","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0304-3975(99)00207-8","volume":"236","year":"2000","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"11_37185432","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JCS-2006-14101","volume":"14","year":"2006","journal-title":"JOURNAL OF COMPUTER SECURITY"},{"issue":"1-2","key":"15_40961194","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.tcs.2006.08.035","volume":"367","year":"2006","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"20_37185765","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/FI-1995-24121","volume":"24","year":"1995","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"21_40961195","first-page":"583","volume":"19&20","year":"1994","journal-title":"JOURNAL OF LOGIC PROGRAMMING"},{"key":"23_37185767","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","year":"1980","journal-title":"JOURNAL OF THE ACM"},{"key":"27_37185768","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/BFb0013826","volume":"632","year":"1992","journal-title":"PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ALGEBRAIC AND LOGIC PROGRAMMING ALP"},{"key":"28_37185769","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10990-007-9000-6","volume":"20","year":"2007","journal-title":"HIGHERORDER AND SYMBOLIC COMPUTATION"},{"key":"29_37185770","first-page":"313","volume":"5","year":"1994","journal-title":"JOURNAL OF APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING"},{"key":"30_37185771","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(96)00071-0","volume":"167","year":"1996","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"31_40961196","first-page":"223","volume":"43(2)","year":"1942","journal-title":"ANNALS OF MATHEMATICS"},{"key":"32_37185773","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/jsco.1995.1036","volume":"20","year":"1995","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"34_28791317","first-page":"153","volume":"5","year":"1970","journal-title":"MACHINE INTELLIGENCE"},{"key":"36_37185774","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0304-3975(95)00075-8","volume":"151","year":"1995","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"40_37185775","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","year":"1989","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"42_37185776","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0020-0190(87)90122-0","volume":"25","year":"1987","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"43_37185777","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF03177743","volume":"32","year":"2004","journal-title":"JOURNAL OF APPROXIMATED REASONING"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/19\/6\/731\/2834457\/jzq009.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,4]],"date-time":"2020-06-04T05:11:48Z","timestamp":1591247508000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzq009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,29]]},"references-count":20,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2011,10,10]]},"published-print":{"date-parts":[[2011,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzq009","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,29]]}}}