Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas.

MLA

Kleine Büning, Hans. “Classes of Propositional UMU Formulas and Their Extensions to Minimal Unsatisfiable Formulas.” Theoretical Computer Science, vol. 998, June 2024, p. N.PAG. EBSCOhost, https://doi.org/10.1016/j.tcs.2024.114538.

APA

Kleine Büning, H. (2024). Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas. Theoretical Computer Science, 998, N.PAG. https://doi.org/10.1016/j.tcs.2024.114538

Chicago

Kleine Büning, Hans. 2024. “Classes of Propositional UMU Formulas and Their Extensions to Minimal Unsatisfiable Formulas.” Theoretical Computer Science 998 (June): N.PAG. doi:10.1016/j.tcs.2024.114538.