Verification of clinical guidelines encoded into knowledge-based DSSs