2021, JOURNAL OF PURE AND APPLIED ALGEBRA, Kaygorodov,I;Khrypchenko,M;Popov,Y
2021, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Araujo,J;Bentz,W;Cameron,PJ
2021, SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, Kahle,R
2021, DISCRETE MATHEMATICS, Fonseca,A;Mestre,A;Mohammadian,A;Perdigao,C;Torres,MM
2021, SEMIGROUP FORUM, Araujo,ML;Araujo,MT;Kinyon,M
2021, SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, Fernandes,VH
2021, BULLETIN OF SYMBOLIC LOGIC, Santos,PG;Kahle,R
2020, The Legacy of Kurt Schütte, Kahle,R
2020, INFORMATION AND COMPUTATION, Brough,T;Cain,AJ
2020, SEMIGROUP FORUM, Casimiro,A;Skapinakis,E