Christoph Benzmüller, Jens Otten, editors, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022. Volume 3326 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Conference: cade2023
Abstract is missing.