Konev, Boris2023-03-062023-03-062022https://publica.fraunhofer.de/handle/publica/437329enWorkshop on Practical Aspects of Automated Reasoning, PAAR 2022. Proceedings