NOVA Math Publications Algebra and Logic Article Baaz,M;Ertel,M;Kahle,R;Piecha,T;von Plato,J JOURNAL OF LOGIC AND COMPUTATION 2024 34 6 1003-1009 10.1093/logcom/exae026 Tags : Algebra and Logic