Citação norma APA

Bendík, J., & Černá, I. (2020). MUST: Minimal Unsatisfiable Subsets Enumeration Tool. Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Bendík, Jaroslav, and Ivana Černá. "MUST: Minimal Unsatisfiable Subsets Enumeration Tool." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citação norma MLA

Bendík, Jaroslav, and Ivana Černá. "MUST: Minimal Unsatisfiable Subsets Enumeration Tool." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.