MEDITO: A Logic-Based Meta-diagnosis Tool.

Nuno Belard, Yannick Pencol, Michel Combacau

Browse the full ICTAI paper archive.