Foto N. Afrati Isambo Karali Theodoros Mitakos Datalog, units and information hiding. 147-159 1997 conf/lmo/1997 LMO db/conf/lmo/lmo1997.html#AfratiKM97