Damien Sereni Pavel Avgustinov Oege de Moor Adding magic to an optimising datalog compiler. 553-566 2008 SIGMOD Conference http://doi.acm.org/10.1145/1376616.1376673 conf/sigmod/2008 db/conf/sigmod/sigmod2008.html#SereniAM08