Yeah, that's a good paper -- Vadim's nested-interval tree method is quite clever. For more related references, see...

Using rational numbers to key nested sets https://news.ycombinator.com/item?id=13517490