@book{8f1aa8c7143b4b49b6a7e7f29e77db1f,
title = "Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I",
keywords = "Open Access, Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting",
editor = "Christoph Benzm{\"u}ller and Heule, \{Marijn J. H.\} and Schmidt, \{Renate A.\}",
year = "2024",
doi = "10.1007/978-3-031-63498-7",
language = "Undefined",
isbn = "9783031634970",
volume = "14739",
series = "Lecture Notes in Computer Science",
publisher = "Springer Cham",
address = "Switzerland",
}