A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.

Olivier Raynaud Eric Thierry A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests. 165-180 2001 conf/ecoop/2001 ECOOP http://link.springer.de/link/service/series/0558/bibs/2072/20720165.htm db/conf/ecoop/ecoop2001.html#RaynaudT01