Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable
scientific article; zbMATH DE number 6526415