共 50 条
- [24] Complexity of the Problem of Being Equivalent to Horn Formulas. II Algebra and Logic, 2022, 61 : 318 - 327
- [25] REDUCING METHOD FOR A SET OF CLAUSES USING PROPOSITIONAL FORMULAS. Systems and Computers in Japan, 1987, 18 (03): : 1 - 10
- [28] DAHLQUIST'S FIRST BARRIER FOR MULTISTAGE MULTISTEP FORMULAS. BIT (Copenhagen), 1984, 24 (04): : 538 - 555