KB Project
To see the detailed lemmas and proofs related to the paper of DSN' 2014, please click this link.