Relations among Matrices over a Semiring. - Dylan Killingbeck; Milene Santos Teixeira; Michael Winter 001 (RAMiCS, 2015)

Relations in linear algebra. - Dylan Killingbeck; Milene Santos Teixeira; Michael Winter 001 (J. Log. Algebraic Methods Program., 2017)