{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T11:47:00Z","timestamp":1759837620857},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2014,12,1]]},"DOI":"10.1093\/jigpal\/jzu025","type":"journal-article","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T03:50:29Z","timestamp":1411617029000},"page":"1019-1044","source":"Crossref","is-referenced-by-count":6,"title":["A tableaux-like method to infer all minimal keys"],"prefix":"10.1093","volume":"22","author":[{"given":"P.","family":"Cordero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Enciso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Perez de Guzman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,9,24]]},"reference":[{"key":"4_48672070","first-page":"129","volume":"29","year":"2000","journal-title":"PROCEEDINGS SEVENTH INTERNATIONAL WORKSHOP ON KNOWLEDGE REPRESENTATION MEETS DATABASES"},{"key":"5_43826231","first-page":"1","volume":"5","year":"2009","journal-title":"INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS"},{"key":"6_48672071","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","year":"1976","journal-title":"ACM TRANSACTIONS DATABASE SYSTEMS"},{"key":"8_48672072","first-page":"99","volume":"5","year":"2011","journal-title":"INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND ITS APPLICATIONS"},{"key":"9_48672073","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/357980.358007","volume":"26","year":"1983","journal-title":"COMMUNICATION OF THE ACM"},{"key":"13_27081337","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1137\/S0097539793250299","volume":"24","year":"1995","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"15_48672074","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1023098325064","volume":"38","year":"2003","journal-title":"ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"key":"16_48672075","first-page":"79","volume":"33","year":"2000","journal-title":"INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS"},{"key":"17_48672076","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/0022-0000(78)90009-0","volume":"17","year":"1978","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"18_48672077","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1080\/00207160.2011.644275","volume":"89","year":"2012","journal-title":"INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS"},{"key":"19_48672078","doi-asserted-by":"crossref","first-page":"1860","DOI":"10.1080\/00207160.2010.484488","volume":"88","year":"2011","journal-title":"INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS"},{"issue":"2","key":"22_20421412","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/comjnl\/39.2.124","volume":"39","author":"Saiedian","year":"1996","journal-title":"The Computer Journal","ISSN":"http:\/\/id.crossref.org\/issn\/0010-4620","issn-type":"print"},{"key":"24_48672079","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0166-218X(92)90033-7","volume":"40","year":"1992","journal-title":"DISCRETE APPLIED MATHEMATICS"},{"key":"25_48672080","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s10817-007-9092-z","volume":"40","year":"2008","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"27_48672081","first-page":"883","volume":"4","year":"1998","journal-title":"JOURNAL OF UNIVERSAL COMPUTER SCIENCE"},{"key":"28_48672082","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/0020-0190(76)90003-X","volume":"5","year":"1976","journal-title":"INFORMATION PROCESSING LETTERS"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T21:01:33Z","timestamp":1498165293000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzu025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,24]]},"references-count":16,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2014,11,20]]},"published-print":{"date-parts":[[2014,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzu025","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,24]]}}}