A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Browse the full LOPSTR paper archive.