Formally Verified Tableau-Based Reasoners for a Description Logic | Publicación