A transformation technique for datalog programs based on non-deterministic constructs
['Μανώλης Γεργατσούλης', 'Παναγιώτης Ροντογιάννης', 'Πέτρος Ποτίκας', 'Manolis Gergatsoulis', 'Panos Rondogiannis', 'Petros Potikas']
A transformation technique for datalog programs based on non-deterministic constructs