TY  - RPRT
TI  - Computational logic: a method for formal analysis of the ICU knowledge base.
AU  - W P Coleman
AU  - J H Siegel
AU  - I Giovannini
AU  - D P Sanford
AU  - A De Gaetano
PY  - 1993
DO  - 10.1007/bf01133525
UR  - https://pubmed.ncbi.nlm.nih.gov/8326215/
ID  - 8326215
ER  -