Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results