Model Driven Engineering of a Tableau Algorithm for Description Logics Nenad Krdžavac; Dragan Gašević; Vladan Devedžić — 2009 Computer Science and Information Systems