Soundness of \(\mathcal{Q}\)-resolution with dependency schemes
scientific article; zbMATH DE number 6521254
scientific article