A Certified Decision Procedure for Tree Shares.

Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor

Browse the full ICFEM paper archive.