Justified Terminological Reasoning

TitleJustified Terminological Reasoning
Publication TypeConference Paper
Year of Publication2012
AuthorsStuder, T
EditorClarke, EE, Virbitskaite, I, Voronkov, A
Conference NameProceedings of Perspectives of System Informatics PSI'11
Pagination349-361
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2012/stu12.pdf