A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation | Publicación