Vangalur S. Alagar Pankaj Goyal P. S. Nair Fereidoon Sadri Permutation dependency in datalog programs. 207-223 1993 68 Inf. Sci. 3 http://dx.doi.org/10.1016/0020-0255(93)90105-U db/journals/isci/isci68.html#AlagarGNS93