%0 Journal Article %1 journals/jsat/LangloisST10 %A Langlois, Marina %A Sloan, Robert H. %A Turán, György %D 2010 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1 %P 1-15 %T Horn Upper Bounds and Renaming. %U http://dblp.uni-trier.de/db/journals/jsat/jsat7.html#LangloisST10 %V 7

@article{journals/jsat/LangloisST10, added-at = {2020-08-17T00:00:00.000+0200}, author = {Langlois, Marina and Sloan, Robert H. and Turán, György}, biburl = {https://www.bibsonomy.org/bibtex/2b136a0472380c0185ef753ee7e88fe9d/dblp}, ee = {https://doi.org/10.3233/sat190072}, interhash = {1e74e0f314d4c5e88cc594152220c943}, intrahash = {b136a0472380c0185ef753ee7e88fe9d}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 1, pages = {1-15}, timestamp = {2020-08-18T11:43:56.000+0200}, title = {Horn Upper Bounds and Renaming.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat7.html#LangloisST10}, volume = 7, year = 2010 }