@booklet {181, title = {Synthesis of the MUS Project}, year = {Submitted} }