Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan. Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst., 37(3):19, 2012. [doi]

Abstract

Abstract is missing.