Sergio Greco, Domenico Saccà, Carlo Zaniolo. DATALOG Queries with Stratified Negation and Choice: from P to D:::P:::. In Georg Gottlob, Moshe Y. Vardi, editors, Database Theory - ICDT 95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Volume 893 of Lecture Notes in Computer Science, pages 82-96, Springer, 1995. [doi]
Abstract is missing.