doi dblpTyped functional query languages with equational specificationsKen Q. Pu | Alberto O. MendelzonProceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005