Linear Algebraic Computation of Propositional Horn Abduction | IEEE Conference Publication | IEEE Xplore