Nihan Kesim Cicekli, Yakup Yildirim. Formalizing Workflows Using the Event Calculus. In Mohamed T. Ibrahim, Josef Küng, Norman Revell, editors, Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings. Volume 1873 of Lecture Notes in Computer Science, pages 222-231, Springer, 2000. [doi]