Samir Elloumi, Bilel Boulifa, Ali Jaoua, Mohammad Saleh, Jameela Al Otaibi, Marcelo F. Frias. Inference engine based on closure and join operators over Truth Table Binary Relations. Journal of Logic and Algebraic Programming, 83(2):180-193, 2014. [doi]
Abstract is missing.