Reconstructing a single-head formula to facilitate logical forgetting
scientific article; zbMATH DE number 7801589