Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere. Type inference for datalog and its application to query optimisation. In Maurizio Lenzerini, Domenico Lembo, editors, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada. pages 291-300, ACM, 2008. [doi]