Checking Value-Sensitive Data Structures in Sublinear Space.

Michael T. Goodrich, Jonathan Z. Sun

Browse the full ISAAC paper archive.