Wu, Lei (2009-05). An efficient logic fault diagnosis framework based on effect-cause approach. Doctoral Dissertation. Thesis