{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:07:13Z","timestamp":1649178433871},"reference-count":14,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1080\/00207160310001650071","type":"journal-article","created":{"date-parts":[[2004,2,20]],"date-time":"2004-02-20T07:11:44Z","timestamp":1077261104000},"page":"157-167","source":"Crossref","is-referenced-by-count":2,"title":["Prime implicants of first order formulas via transversal clauses"],"prefix":"10.1080","volume":"81","author":[{"given":"Manoj K.","family":"Raut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arindama","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"b1","first-page":"pp. 167\u2013175","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Lin F.","year":"2000"},{"key":"b2","first-page":"pp. 36\u201339","volume-title":"Proceedings of the 29th ACM\/IEEE Design Automation Conferation","author":"Coudert O.","year":"1992"},{"key":"b3","first-page":"pp. 33\u201358","volume-title":"Logic Synthesis and Optimization","author":"Coudert O.","year":"1993"},{"key":"b4","first-page":"pp. 780\u2013785","volume-title":"Proceedings of AAAI-92","author":"de Kleer J.","year":"1992"},{"key":"b5","first-page":"pp. 551\u2013561","volume-title":"Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning","author":"del Val A.","year":"1994"},{"key":"b6","first-page":"pp. 543\u2013557","volume-title":"Proceedings of the 10th International Conference on Automated Deduction","volume":"449","author":"Jackson P.","year":"1990"},{"key":"b7","first-page":"pp. 253\u2013267","volume-title":"Proceedings of the 11th International Conference on Automated Deduction","volume":"607","author":"Jackson P.","year":"1992"},{"key":"b8","first-page":"pp. 837\u2013843","volume-title":"Proceedings of IJCAI","author":"Marquis P.","year":"1995"},{"key":"b9","volume-title":"Proceedings of IJCAI-93","author":"Ngair T.","year":"1993"},{"key":"b10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005721905269"},{"key":"b11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.2.135"},{"key":"b12","doi-asserted-by":"publisher","DOI":"10.1016\/0885-064X(92)90033-8"},{"key":"b13","doi-asserted-by":"publisher","DOI":"10.1080\/00207169908804764"},{"key":"b14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2266893","volume":"20","author":"Nelson R. J.","year":"1997","journal-title":"J. Symbolic Logic"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160310001650071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,19]],"date-time":"2018-04-19T12:15:04Z","timestamp":1524140104000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160310001650071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["10.1080\/00207160310001650071"],"URL":"https:\/\/doi.org\/10.1080\/00207160310001650071","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}