Reconstructing a single-head formula to facilitate logical forgetting

Open in new window