Equivalent literal propagation in the DLL procedure
scientific article; zbMATH DE number 1981510