Pereira, L.M., Pinto, A.M., Herbstritt, M., 2010. Tight Semantics for Logic Programs.. https://doi.org/10.4230/lipics.iclp.2010.134