2023-03-062023-03-06https://publica.fraunhofer.de/handle/publica/437328International Joint Conference on Automated Reasoning 2022