@inproceedings{Barzdins-Barinskis:2007:DL, author = "G. Barzdins and M. Barinskis", title = "The minimal finite model visualization as an ontology debugging tool", year = 2007, booktitle = "Proceedings of the 20th International Workshop on Description Logics (DL)", url = "http://ceur-ws.org/Vol-250/paper_40.pdf" }