{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T10:05:25Z","timestamp":1761905125022,"version":"build-2065373602"},"reference-count":26,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.434.5","type":"journal-article","created":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T12:41:30Z","timestamp":1761741690000},"page":"27-39","source":"Crossref","is-referenced-by-count":0,"title":["Theta as a Horn Solver"],"prefix":"10.4204","volume":"434","author":[{"given":"Levente","family":"Bajczi","sequence":"first","affiliation":[{"name":"Department of Artificial Intelligence and Systems Engineering, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, M\u0171egyetem rkp. 3., H-1111 Budapest, Hungary"}]},{"given":"Mil\u00e1n","family":"Mondok","sequence":"additional","affiliation":[{"name":"Department of Artificial Intelligence and Systems Engineering, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, M\u0171egyetem rkp. 3., H-1111 Budapest, Hungary"}]},{"given":"Vince","family":"Moln\u00e1r","sequence":"additional","affiliation":[{"name":"Department of Artificial Intelligence and Systems Engineering, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, M\u0171egyetem rkp. 3., H-1111 Budapest, Hungary"}]}],"member":"2720","published-online":{"date-parts":[[2025,10,30]]},"reference":[{"key":"10.1007\/978-3-030-65474-0_16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65474-0_16"},{"key":"10.1007\/978-3-030-81688-9_9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_9"},{"key":"10.1007\/978-3-031-66149-5_8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-66149-5_8"},{"key":"10.5281\/zenodo.15537903","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.15537903"},{"key":"10.1007\/978-3-031-57256-2_23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57256-2_23"},{"key":"10.1007\/s10009-002-0095-0","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0095-0"},{"key":"10.1007\/978-3-030-99524-9_24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"10.1007\/s10009-007-0044-z","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"10.1007\/s10009-017-0469-y","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0469-y"},{"key":"10.1016\/S1571-0661(04)80410-9","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80410-9"},{"key":"10.1007\/3-540-49059-0_14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_14"},{"key":"10.1145\/876638.876643","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"10.1007\/978-3-031-67695-6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-67695-6_2"},{"key":"10.1007\/978-3-540-78800-3_24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"10.1145\/3569902.3570187","doi-asserted-by":"publisher","DOI":"10.1145\/3569902.3570187"},{"key":"10.5555\/2157654.2157675","doi-asserted-by":"publisher","DOI":"10.5555\/2157654.2157675"},{"key":"10.1007\/978-3-031-13185-1_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13185-1_2"},{"key":"10.1007\/s10817-019-09535-x","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-019-09535-x"},{"key":"10.1007\/s10009-019-00547-x","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00547-x"},{"key":"10.1007\/978-3-540-45069-6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"10.1007\/978-3-540-31980-1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_1"},{"key":"10.3311\/MINISY2024-012","doi-asserted-by":"publisher","DOI":"10.3311\/MINISY2024-012"},{"key":"10.1007\/3-540-40922-X_8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_8"},{"key":"10.4204\/eptcs.402.11","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.402.11"},{"key":"10.1007\/978-3-642-05089-3_7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_7"},{"key":"10.23919\/FMCAD.2017.8102257","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102257"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T10:01:56Z","timestamp":1761904916000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2510.26430v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,30]]},"references-count":26,"URL":"https:\/\/doi.org\/10.4204\/eptcs.434.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,10,30]]}}}