An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.

Davide Bresolin, Angelo Montanari, Pietro Sala

Browse the full STACS paper archive.