A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.

Domenico Cantone, Calogero G. Zarba

Browse the full TABLEAUX paper archive.