Alan P. Sexton Volker Sorge Stephen M. Watt Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. 138-153 2009 Calculemus/MKM https://doi.org/10.1007/978-3-642-02614-0_15 conf/mkm/2009 db/conf/mkm/mkm2009.html#SextonSW09