Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders | Publicación