Oege de Moor Damien Sereni Pavel Avgustinov Mathieu Verbaere Type inference for datalog and its application to query optimisation. 291-300 2008 PODS http://doi.acm.org/10.1145/1376916.1376957 conf/pods/2008 db/conf/pods/pods2008.html#MoorSAV08