Axiomatizing logics of algebraic matrice varieties - Rautenberg, Wolfgang (1989)