%0 Journal Article %1 journals/tocl/AvniK14 %A Avni, Guy %A Kupferman, Orna %D 2014 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 6:1-6:25 %T Parameterized Weighted Containment. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#AvniK14 %V 16

@article{journals/tocl/AvniK14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Avni, Guy and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2b35ffad67a3b86e06d7d8dafd16686c7/dblp}, ee = {https://doi.org/10.1145/2665076}, interhash = {070b0113d39cb96415d9df07d09f4622}, intrahash = {b35ffad67a3b86e06d7d8dafd16686c7}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {6:1-6:25}, timestamp = {2018-11-07T12:18:12.000+0100}, title = {Parameterized Weighted Containment.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#AvniK14}, volume = 16, year = 2014 }