An Improved Algorithm for E-Generalization | Read Paper on Bytez