A Consistency Checker for verifying the knowledge encoded into clinical DSSs.

Eugenio Cesario, Massimo Esposito, Giuseppe De Pietro, Domenico Talia

Browse the full CBMS paper archive.