TY - RPRT TI - Open Answer Set Programming with Guarded Programs AU - Stijn Heymans AU - Davy Van Nieuwenborgh AU - Dirk Vermeir PY - 2007 UR - https://arxiv.org/abs/cs/0603025 ID - cs/0603025 ER -