A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.

Rajeev Gor, Linh Anh Nguyen

Browse the full TABLEAUX paper archive.