2023-03-062023-03-06https://publica.fraunhofer.de/handle/publica/437326Workshop on Practical Aspects of Automated Reasoning 2022