| Title | Boosting MUS Extraction |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Macho-González S, Meseguer P |
| Editor | W. Miguel RI |
| Conference Name | LNAI |
| Volume | 4612 |
| Publisher | Springer |
| Pagination | 285-299 |
| Title | Boosting MUS Extraction |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Macho-González S, Meseguer P |
| Editor | W. Miguel RI |
| Conference Name | LNAI |
| Volume | 4612 |
| Publisher | Springer |
| Pagination | 285-299 |