_id,doi,title
4483,10.1109/ICCAD.2000.896481,Decomposing refinement proofs using assume-guarantee reasoning