Mario Alviano, Michael Morak, Andreas Pieris. Stable Model Semantics for Tuple-Generating Dependencies Revisited. In Emanuel Sallinger, Jan Van den Bussche, Floris Geerts, editors, Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017. pages 377-388, ACM, 2017. [doi]
Abstract is missing.