Publications @InProceedings{ , AUTHOR = {Cesario, Eugenio and Esposito, Massimo and De Pietro, Giuseppe and Talia, Domenico}, TITLE = {A Consistency Checker for Verifying the Knowledge Encoded into Clinical DSSs}, YEAR = {2012}, BOOKTITLE = {In Proc. of the 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2012)}, PAGES = {1-6}, ADDRESS = {Rome, Italy}, PUBLISHER = {IEEE} }