%0 Conference Paper %1 conf/lpnmr/JanotaM11 %A Janota, Mikolás %A Marques-Silva, João %B LPNMR %D 2011 %E Delgrande, James P. %E Faber, Wolfgang %I Springer %K dblp %P 266-271 %T cmMUS: A Tool for Circumscription-Based MUS Membership Testing. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#JanotaM11 %V 6645 %@ 978-3-642-20894-2

@inproceedings{conf/lpnmr/JanotaM11, added-at = {2020-02-24T00:00:00.000+0100}, author = {Janota, Mikolás and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/2cb212f9de6db282749768f5c610902d4/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-20895-9_30}, interhash = {69243e6bd5dfc6b29901797386cc1bc7}, intrahash = {cb212f9de6db282749768f5c610902d4}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {266-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:24:27.000+0100}, title = {cmMUS: A Tool for Circumscription-Based MUS Membership Testing.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#JanotaM11}, volume = 6645, year = 2011 }