cmMUS: A tool for circumscription-based MUS membership testing (2011)

by Joao Marques-silva
Venue:Proceedings of Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011