Stéphane Grumbach DATALOG<sup>rew</sup>: DATALOG with rewriting rules. 87-108 1989 conf/bda/1989 BDA db/conf/bda/bda1989.html#Grumbach89