A Hybrid Approach for the Verification of Integrity Constraints in Clinical Practice Guidelines.

Marco Iannaccone, Massimo Esposito, Giuseppe De Pietro

Browse the full HAIS paper archive.