Conference Reasoning about hierarchical storage 2003 • Proceedings - Symposium on Logic in Computer Science • 33-44 Ahmed A, Jia LM, Walker D
