{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:55:59Z","timestamp":1730296559085,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/sisy.2014.6923579","type":"proceedings-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T20:14:07Z","timestamp":1414008847000},"page":"163-168","source":"Crossref","is-referenced-by-count":2,"title":["Theory exploration of sets represented as monotone lists"],"prefix":"10.1109","author":[{"given":"Isabela","family":"Dramnesc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tudor","family":"Jebelean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"9","article-title":"Theory exploration with theorema","volume":"30","author":"buchberger","year":"2000","journal-title":"Analele Universitatii Din Timisoara Ser Matematica-Informatica"},{"journal-title":"Logic for Computer Science","year":"1991","author":"buchberger","key":"2"},{"key":"10","volume":"1","author":"manna","year":"1985","journal-title":"The Logical Basis for Computer Programming"},{"journal-title":"Automated Induction for Complex Data Structures","year":"2008","author":"bouhoula","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SISY.2012.6339532"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.43"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2011.23"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.10.006"},{"journal-title":"Set Theory An Introduction to Independence Proofs","year":"1980","author":"kunen","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SACI.2012.6250041"},{"journal-title":"The Mathematica Book","year":"2003","author":"wolfram","key":"11"}],"event":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY 2014)","start":{"date-parts":[[2014,9,11]]},"location":"Subotica, Serbia","end":{"date-parts":[[2014,9,13]]}},"container-title":["2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6913604\/6923549\/06923579.pdf?arnumber=6923579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:08:14Z","timestamp":1490303294000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6923579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/sisy.2014.6923579","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}