@inproceedings{CIKM-2005-PuM,
	author        = "Ken Q. Pu and Alberto O. Mendelzon",
	booktitle     = "{Proceedings of the 14th ACM International Conference on Information and Knowledge Management}",
	doi           = "10.1145/1099554.1099603",
	isbn          = "1-59593-140-6",
	pages         = "233--234",
	publisher     = "{ACM}",
	title         = "{Typed functional query languages with equational specifications}",
	year          = 2005,
}