added first DSR in DDlog
added first DSR in DDlog

sky-xu/deepdive,shahin/deepdive,HazyResearch/deepdive,sky-xu/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,shahin/deepdive