Calculational proofs in relational graphical linear algebra
scientific article; zbMATH DE number 7370046