A Tableau Calculus for Regular Grammar Logics with Converse.

Linh Anh Nguyen, Andrzej Szalas

Browse the full CADE paper archive.