%0 Journal Article %1 journals/dam/Li03 %A Li, Chu Min %D 2003 %J Discrete Applied Mathematics %K dblp %N 2 %P 251-276 %T Equivalent literal propagation in the DLL procedure. %U http://dblp.uni-trier.de/db/journals/dam/dam130.html#Li03 %V 130

@article{journals/dam/Li03, added-at = {2004-05-12T00:00:00.000+0200}, author = {Li, Chu Min}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25e5d54a2532cad1734a97d7839eadc46/dblp}, ee = {http://dx.doi.org/10.1016/S0166-218X(02)00407-9}, interhash = {2f42f91aacbc5cf62c01d81d8f4b9e75}, intrahash = {5e5d54a2532cad1734a97d7839eadc46}, journal = {Discrete Applied Mathematics}, keywords = {dblp}, number = 2, pages = {251-276}, timestamp = {2016-02-02T07:31:59.000+0100}, title = {Equivalent literal propagation in the DLL procedure.}, url = {http://dblp.uni-trier.de/db/journals/dam/dam130.html#Li03}, volume = 130, year = 2003 }