Using ROBDDs for troubleshootingThomas D. Nielsen, Uffe Kjaerulf, Pierre-Henri Wuillemin et al.|HAL (Le Centre pour la Communication Scientifique Directe)|2000Cited by 0