"Proving Properties of Incremental Merkle Trees."

Mizuhito Ogawa, Eiichi Horita, Satoshi Ono (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics