{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T10:28:23Z","timestamp":1648808903143},"reference-count":18,"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\/jzq011","type":"journal-article","created":{"date-parts":[[2010,5,7]],"date-time":"2010-05-07T00:14:51Z","timestamp":1273191291000},"page":"790-820","source":"Crossref","is-referenced-by-count":2,"title":["First-order unification using variable-free relational algebra"],"prefix":"10.1093","volume":"19","author":[{"given":"E. J. G.","family":"Arias","sequence":"first","affiliation":[]},{"given":"J.","family":"Lipton","sequence":"additional","affiliation":[]},{"given":"J.","family":"Marino","sequence":"additional","affiliation":[]},{"given":"P.","family":"Nogueira","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2010,5,6]]},"reference":[{"key":"2_37235196","doi-asserted-by":"crossref","first-page":"4626","DOI":"10.1016\/j.tcs.2009.07.038","volume":"410","year":"2009","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"4_37235197","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0304-3975(93)90170-X","volume":"107","year":"1993","journal-title":"THEOR COMPUT SCI"},{"key":"5_37235198","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1006\/jsco.1998.0248","volume":"27","year":"1999","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"12_37235199","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","year":"1982","journal-title":"THEOR COMPUT SCI"},{"key":"14_37235200","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0304-3975(93)90075-5","volume":"114","year":"1993","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"16_37235201","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/inco.1999.2837","volume":"157","year":"2000","journal-title":"INF COMPUT"},{"key":"17_37235202","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0304-3975(01)00308-5","volume":"300","year":"2003","journal-title":"THEOR COMPUT SCI"},{"key":"18_40961198","first-page":"193","volume":"0","year":"1999","journal-title":"LOGIC IN COMPUTER SCIENCE"},{"key":"23_29186804","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","year":"2007","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"25_37235203","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","year":"1975","journal-title":"THEOR COMPUT SCI"},{"key":"26_40961199","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","year":"1994","journal-title":"JOURNAL OF LOGIC PROGRAMMING"},{"key":"31_37235204","first-page":"707","volume":"2","year":"1950","journal-title":"ANN OF MATH SER"},{"key":"34_37235205","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","year":"1982","journal-title":"ACM TRANS PROGRAM LANG SYST"},{"key":"35_29468881","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","year":"1991","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"36_37235206","doi-asserted-by":"crossref","first-page":"350","DOI":"10.2307\/2274990","volume":"55","year":"1990","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"37_37234357","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","year":"1978","journal-title":"J COMPUT SYST SCI"},{"key":"38_37235207","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","year":"1965","journal-title":"J ACM"},{"key":"42_40961200","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","year":"1979","journal-title":"SOFTWARE PRACTICE AND EXPERIENCE"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/19\/6\/790\/2843983\/jzq011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T13:04:26Z","timestamp":1503493466000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzq011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,6]]},"references-count":18,"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\/jzq011","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,6]]}}}