NOVA Math Publications Algebra and Logic Article Skapinakis,E INFORMATION AND COMPUTATION 2024 300 10.1016/j.ic.2024.105196 Tags : Algebra and Logic