ByNobleID
    Computational logic: a method for formal analysis of the ICU knowledge base. | NobleID