Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.

Jan Hladik

Browse the full TABLEAUX paper archive.