A Formally Verified Prover for the ALC\, Description Logic | Publicación