A Tableau System for Instantial Neighborhood Logic.

Junhua Yu

Browse the full LFCS paper archive.