%0 Journal Article %1 journals/logcom/Moinard07 %A Moinard, Yves %D 2007 %J J. Log. Comput. %K dblp %N 5 %P 955-982 %T Forgetting Literals with Varying Propositional Symbols. %U http://dblp.uni-trier.de/db/journals/logcom/logcom17.html#Moinard07 %V 17

@article{journals/logcom/Moinard07, added-at = {2008-01-14T00:00:00.000+0100}, author = {Moinard, Yves}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27a5809aba2272bfe9f50d33d2cfee4ee/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exm049}, interhash = {20ec2120a5afea1ed40bbd7b62622a4e}, intrahash = {7a5809aba2272bfe9f50d33d2cfee4ee}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {955-982}, timestamp = {2016-02-02T02:40:02.000+0100}, title = {Forgetting Literals with Varying Propositional Symbols.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom17.html#Moinard07}, volume = 17, year = 2007 }