Irvin Roy Hentzel Leslie Hogben Exhaustive Checking of Sparse Algebras. 44-49 1981 2 J. Algorithms 1 db/journals/jal/jal2.html#HentzelH81