DOI,IST REx ID,Title of publication
10.1109/ICCAD.2000.896481,4483,Decomposing refinement proofs using assume-guarantee reasoning