Robuta

https://arxiv.org/abs/2009.10247
Abstract page for arXiv paper 2009.10247: Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
algebraic computationenhancinglinearlogicprograms