Jaco Geldenhuys Antti Valmari A Nearly Memory-Optimal Data Structure for Sets and Mappings. 136-150 2003 conf/spin/2003 SPIN http://link.springer.de/link/service/series/0558/bibs/2648/26480136.htm db/conf/spin/spin2003.html#GeldenhuysV03