LoTREC: Logical Tableaux Research Engineering Companion.

Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade

Browse the full TABLEAUX paper archive.