Włodzimierz Drabent:
Towards Types for Web Rule Languages.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-27
@inproceedings{REWERSE-RP-2005-27,
author = {W\lodzimierz Drabent},
title = {Towards Types for Web Rule Languages},
booktitle = {Proceedings of Summer School Reasoning Web 2005, Msida, Malta (25th--29th July 2005)},
year = {2005},
volume = {3564},
organization = {REWERSE},
series = {LNCS},
pages = {305--318},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-27}
}