{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T08:54:30Z","timestamp":1766566470306,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,17]]},"DOI":"10.1145\/3756681.3757028","type":"proceedings-article","created":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T08:30:04Z","timestamp":1766565004000},"page":"726-731","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Re-evaluation of Logical Specification in Behavioural Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9061-561X","authenticated-orcid":false,"given":"Radoslaw","family":"Klimek","sequence":"first","affiliation":[{"name":"AGH University of Krakow, Krakow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8521-3575","authenticated-orcid":false,"given":"Jakub","family":"Semczyszyn","sequence":"additional","affiliation":[{"name":"AGH University of Krakow, Krakow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,24]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25591-0_24"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_31"},{"key":"e_1_3_3_3_4_2","doi-asserted-by":"publisher","unstructured":"Rados\u0142aw Klimek. 2018. Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for\u00a0Ambient-assisted Services. IEEE Access 6 (2018) 27127\u201327155. 10.1109\/ACCESS.2018.2834532","DOI":"10.1109\/ACCESS.2018.2834532"},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","unstructured":"Rados\u0142aw Klimek. 2019. Pattern-based and Composition-driven Automatic Generation of Logical Specifications for Workflow-oriented Software Models. Journal of Logical and Algebraic Methods in Programming 104 (2019) 201\u2013226. 10.1016\/j.jlamp.2019.02.005","DOI":"10.1016\/j.jlamp.2019.02.005"},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691621.3694936"},{"key":"e_1_3_3_3_7_2","first-page":"1131","volume-title":"Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), 8\u201311 September 2013, Krak\u00f3w, Poland","author":"Klimek Rados\u0142aw","year":"2013","unstructured":"Rados\u0142aw Klimek and Piotr Szwed. 2013. Verification of ArchiMate process specifications based on deductive temporal reasoning. In Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), 8\u201311 September 2013, Krak\u00f3w, Poland. IEEE Xplore Digital Library, 1131\u20131138."},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3695750.3695822"},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_3_3_3_10_2","unstructured":"William McCune. 2019. Website for solver Prover9. https:\/\/www.cs.unm.edu\/\u00a0mccune\/prover9\/ accessed on 5-Aug-2020."},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.5555\/1867135.1867206"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"crossref","unstructured":"Francis\u00a0Jeffry Pelletier. 1986. Seventy-five problems for testing automatic theorem provers. Journal of Automated Reasoning 2 (1986) 191\u2013216.","DOI":"10.1007\/BF02432151"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","unstructured":"Bart Selman David\u00a0G. Mitchell and Hector\u00a0J. Levesque. 1996. Generating Hard Satisfiability Problems. Artificial Intelligence 81 1\u20132 (March 1996) 17\u201329. 10.1016\/0004-3702(95)00045-3","DOI":"10.1016\/0004-3702(95)00045-3"},{"key":"e_1_3_3_3_15_2","unstructured":"Jakub Semczyszyn. 2021. Performance analysis of selected theorem provers for the first order logic Engineering diploma thesis supervisor: Radoslaw Klimek AGH University of Krakow."},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"crossref","unstructured":"Geoff Sutcliffe. 2017. The TPTP Problem Library and Associated Infrastructure. Journal of Automated Reasoning 59 (2017) 438\u2013502.","DOI":"10.1007\/s10817-017-9407-7"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_10"}],"event":{"name":"EASE '25: Evaluation and Assessment in Software Engineering","location":"Istanbul Turkiye","acronym":"EASE '25"},"container-title":["Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756681.3757028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T08:41:03Z","timestamp":1766565663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3756681.3757028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,17]]},"references-count":16,"alternative-id":["10.1145\/3756681.3757028","10.1145\/3756681"],"URL":"https:\/\/doi.org\/10.1145\/3756681.3757028","relation":{},"subject":[],"published":{"date-parts":[[2025,6,17]]},"assertion":[{"value":"2025-12-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}