liyi-david/ReoSTA

for full paper with proofs, please refer to paper.pdf