NOVA Math Publications Algebra and Logic Book Chapter Chow,C;Janota,M;Araújo,J Frontiers in Artificial Intelligence and Applications – ECAI 2024 2024 10.3233/faia240980 Tags : Algebra and Logic