Licong Cui

• Formal Methods for the Analysis of Biomedical Ontologies