A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].

Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Mller

Browse the full ECAI paper archive.