Foto N. Afrati Irène Guessarian Michel de Rougemont The Expressiveness of Datalog Circuits (DAC). 119-128 1997 conf/mfcs/1997 MFCS db/conf/mfcs/mfcs97.html#AfratiGR97 http://dx.doi.org/10.1007/BFb0029955