Adam J. Lee Kazuhiro Minami Marianne Winslett Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees. 101-110 2007 conf/sacmat/2007 SACMAT http://doi.acm.org/10.1145/1266840.1266856 db/conf/sacmat/sacmat2007.html#LeeMW07