"Guarded Open Answer Set Programming."

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