Deciding Fragments of the First Order Logic within an Extended Tableau Method.

Nicolas Zabel

Browse the full TABLEAUX paper archive.