XPath and Modal Logics of Finite DAG's.

Maarten Marx

Browse the full TABLEAUX paper archive.