Wlodzimierz Drabent. Towards Types for Web Rule Languages. In Norbert Eisinger, Jan Maluszynski, editors, Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures. Volume 3564 of Lecture Notes in Computer Science, pages 305-317, Springer, 2005. [doi]
Abstract is missing.