Olivier Gasquet Andreas Herzig Dominique Longin Mohamad Sahade LoTREC: Logical Tableaux Research Engineering Companion. 318-322 2005 conf/tableaux/2005 TABLEAUX http://dx.doi.org/10.1007/11554554_25 db/conf/tableaux/tableaux2005.html#GasquetHLS05