@article{DBLP:journals/tods/DavidLT12, author = {Claire David and Leonid Libkin and Tony Tan}, title = {Efficient reasoning about data trees via integer linear programming}, journal = {ACM Trans. Database Syst.}, volume = {37}, number = {3}, year = {2012}, pages = {19}, ee = {http://doi.acm.org/10.1145/2338626.2338632}, bibsource = {DBLP, http://dblp.uni-trier.de} }