Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas

• 一个极小不可满足公式子类的等价结构