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