Stijn Heymans Davy Van Nieuwenborgh Dirk Vermeir Guarded Open Answer Set Programming with Generalized Literals. 179-200 2006 conf/foiks/2006 FoIKS http://dx.doi.org/10.1007/11663881_11 db/conf/foiks/foiks2006.html#HeymansNV06