@article{MSOalg:2006,
  author	= {Mattias Krysander and Jan Åslund and Mattias Nyberg},
  title		= {An Efficient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis},
  journal	= {IEEE Transactions on Systems, Man, and Cybernetics -- Part A: Systems and Humans},
  volume	= {38},
  number	= {1},
  year		= {2008}
}