3 Santiago Macho-González Pedro Meseguer 2007 Boosting MUS Extraction I. Miguel, W. Ruml LNAI Springer 4612 285-299