Deriving minimal conflict sets by CS-trees with mark set in diagnosis from first principles.

Benjamin Han Shie-Jue Lee Deriving minimal conflict sets by CS-trees with mark set in diagnosis from first principles. 281-286 1999 29 IEEE Transactions on Systems, Man, and Cybernetics, Part B 2 db/journals/tsmc/tsmcb29.html#HanL99