Purely functional representations of catenable sorted lists (1996)

by H Kaplan, R E Tarjan
Venue:In STOC ’96