A Hybrid Tableau Algorithm for ALCQ. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (Description Logics, 2008)

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (ECAI, 2008)

Optimizing Reasoning with Qualified Number Restrictions in SHQ. - Nasim Farsinia; Volker Haarslev (Description Logics, 2009)

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. - Nasim Farsiniamarj; Volker Haarslev (AI Commun., 2010)