Efficient reasoning about data trees via integer linear programming.

Claire David, Leonid Libkin, Tony Tan

Browse the full ICDT paper archive.