Non-clausal redundancy properties
scientific article; zbMATH DE number 7437083
scientific article