A strategy for ordering disjunctives in the resolution method
Translation from Issled. Prikl. Mat. 2, 85-90 (Russian) (1974; Zbl 0341.68060).
scientific article; zbMATH DE number 4049140