2005, ANNALS OF PURE AND APPLIED LOGIC, Buchholz,W;Kahle,R

2005, ELECTRONIC JOURNAL OF COMBINATORICS, Sousa,T

2005, Comptes Rendus Mathematique, Tabuada,G

2005, International Mathematics Research Notices, Tabuada,G

2005, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R

2005, SYNTHESE, Buldt,B;Halbach,V;Kahle,R

2005, AMERICAN MATHEMATICAL MONTHLY, Araujo,J;Mitchell,JD

2005, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Delgado,M;Fernandes,VH

2006, LINEAR ALGEBRA AND ITS APPLICATIONS, da Silva,JAD;Rodrigues,F

2006, SYNTHESE, Kahle,R;Schroeder Heister,P