A logic-algebraic tool for reasoning with Knowledge-Based Systems | Publicación