"Guarded Open Answer Set Programming."

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics