Evonne: interactive proof visualization for description logics (system description)
scientific article; zbMATH DE number 7628192