2013, ANNALS OF PURE AND APPLIED LOGIC, Kahle,R;Oitavem,I

2013, DISCRETE APPLIED MATHEMATICS, Liu,H;Mestre,A;Sousa,T

2013, JOURNAL OF SYMBOLIC COMPUTATION, Gray,R;Malheiro,A;Pride,SJ

2013, SEMIGROUP FORUM, Araujo,J;Konieczny,J

2014, MOSCOW MATHEMATICAL JOURNAL, Marcolli,M;Tabuada,G

2014, JOURNAL OF ALGEBRA, Araujo,J;Konieczny,J;Malheiro,A

2014, Demonstratio Mathematica, Cain,AJ;Maltcev,V

2014, Journal of Algebra, Dell ºAmbrogio,I;Tabuada,G

2014, Groups, Complexity, Cryptology, Brough,T

2014, Journal of Noncommutative Geometry, Cisinski,DC;Tabuada,G