TY - RPRT TI - Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation AU - Tuan Nguyen Quoc AU - Katsumi Inoue AU - Chiaki Sakama PY - 2020 DO - 10.4204/eptcs.325.24 UR - https://arxiv.org/abs/2009.10247 ID - 2009.10247 ER -