@inproceedings{DBLP:conf/ijcar/HustadtPND24,
  author       = {Ullrich Hustadt and
                  Fabio Papacchini and
                  Cl{\'{a}}udia Nalon and
                  Clare Dixon},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Marijn J. H. Heule and
                  Renate A. Schmidt},
  title        = {Model Construction for Modal Clauses},
  booktitle    = {Automated Reasoning - 12th International Joint Conference, {IJCAR}
                  2024, Nancy, France, July 3-6, 2024, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14740},
  pages        = {3--23},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-63501-4\_1},
  doi          = {10.1007/978-3-031-63501-4\_1},
  timestamp    = {Sat, 20 Jul 2024 10:59:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcar/HustadtPND24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"M3uBRJDGP4KwdK3J4","bibbaseid":"hustadt-papacchini-nalon-dixon-modelconstructionformodalclauses-2024","author_short":["Hustadt, U.","Papacchini, F.","Nalon, C.","Dixon, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Papacchini"],"suffixes":[]},{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Marijn","J.","H."],"propositions":[],"lastnames":["Heule"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"title":"Model Construction for Modal Clauses","booktitle":"Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"14740","pages":"3–23","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-63501-4\\_1","doi":"10.1007/978-3-031-63501-4_1","timestamp":"Sat, 20 Jul 2024 10:59:46 +0200","biburl":"https://dblp.org/rec/conf/ijcar/HustadtPND24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcar/HustadtPND24,\n author = {Ullrich Hustadt and\n Fabio Papacchini and\n Cl{\\'{a}}udia Nalon and\n Clare Dixon},\n editor = {Christoph Benzm{\\\"{u}}ller and\n Marijn J. H. Heule and\n Renate A. Schmidt},\n title = {Model Construction for Modal Clauses},\n booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR}\n 2024, Nancy, France, July 3-6, 2024, Proceedings, Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {14740},\n pages = {3--23},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-63501-4\\_1},\n doi = {10.1007/978-3-031-63501-4\\_1},\n timestamp = {Sat, 20 Jul 2024 10:59:46 +0200},\n biburl = {https://dblp.org/rec/conf/ijcar/HustadtPND24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Papacchini, F.","Nalon, C.","Dixon, C."],"editor_short":["Benzmüller, C.","Heule, M. J. H.","Schmidt, R. A."],"key":"DBLP:conf/ijcar/HustadtPND24","id":"DBLP:conf/ijcar/HustadtPND24","bibbaseid":"hustadt-papacchini-nalon-dixon-modelconstructionformodalclauses-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-63501-4\\_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["model","construction","modal","clauses","hustadt","papacchini","nalon","dixon"],"title":"Model Construction for Modal Clauses","year":2024}