"A Semantic Perspective on Omission Abstraction in ASP."

Zeynep Gözen Saribatur, Thomas Eiter (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics