TY - RPRT TI - An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence AU - James P. Delgrande AU - Kewen Wang PY - 2014 UR - https://arxiv.org/abs/1404.7541 ID - 1404.7541 ER -