%0 Journal Article %1 journals/tods/DavidLT12 %A David, Claire %A Libkin, Leonid %A Tan, Tony %D 2012 %J ACM Trans. Database Syst. %K dblp %N 3 %P 19:1-19:28 %T Efficient reasoning about data trees via integer linear programming. %U http://dblp.uni-trier.de/db/journals/tods/tods37.html#DavidLT12 %V 37

@article{journals/tods/DavidLT12, added-at = {2019-10-19T00:00:00.000+0200}, author = {David, Claire and Libkin, Leonid and Tan, Tony}, biburl = {https://www.bibsonomy.org/bibtex/2e346347cee5ab2ad047127c73ebd454a/dblp}, ee = {https://doi.org/10.1145/2338626.2338632}, interhash = {3362c8fedba66c71bef59a30c5927f48}, intrahash = {e346347cee5ab2ad047127c73ebd454a}, journal = {ACM Trans. Database Syst.}, keywords = {dblp}, number = 3, pages = {19:1-19:28}, timestamp = {2019-10-22T13:14:49.000+0200}, title = {Efficient reasoning about data trees via integer linear programming.}, url = {http://dblp.uni-trier.de/db/journals/tods/tods37.html#DavidLT12}, volume = 37, year = 2012 }