Sedatalog: A Set Extension of Datalog. - Qing Zhou; Ligong Long (IIP, 2004)