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}
}