ConProve: A conceptual prover system. - Samir Elloumi; Ali Jaoua; Bilel Boulifa; Mohammad Saleh; Jameela Al Otaibi (AICCSA, 2014)

Inference engine based on closure and join operators over Truth Table Binary Relations. - Samir Elloumi; Bilel Boulifa; Ali Jaoua; Mohammad Saleh; Jameela Al Otaibi; Marcelo F. Frias (J. Log. Algebraic Methods Program., 2014)