Kullmann, O., Mencía, C., Ignatiev, A., & Marques-Silva, J. (2019). On Computing the Union of MUSes. Lecture Notes in Computer Science, 11628, pp. 211-221. doi:10.1007/978-3-030-24258-9_15
Chicago Style CitationKullmann, Oliver, Carlos Mencía, Alexey Ignatiev, and Joao Marques-Silva. "On Computing the Union of MUSes." Lecture Notes in Computer Science 11628 (2019): 211-221.
MLA CitationKullmann, Oliver, Carlos Mencía, Alexey Ignatiev, and Joao Marques-Silva. "On Computing the Union of MUSes." Lecture Notes in Computer Science 11628 (2019): 211-221.
Warning: These citations may not always be 100% accurate.