April 16, 2009 by zsevarac
| Title | Model Driven Engineering of a Tableau Algorithm for Description Logics |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Krdzavac, N., Gasevic D., and Devedzic V. |
| Journal | International Journal on Computer Science and Information Systems |
| Volume | 6 |
| Pagination | 23-43 |
| URL | http://dx.doi.org/10.2298/CSIS0901023K |