Here, you will soon find the technical report for the IJCAI'04 Submission "Integrating Description Logics and Action Formalisms for Reasoning about Web Services".
