Prosenjit Bose William Lenhart Giuseppe Liotta Characterizing Proximity Trees. 83-110 1996 16 Algorithmica 1 db/journals/algorithmica/algorithmica16.html#BoseLL96