TY - RPRT TI - A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming AU - Stefan Woltran PY - 2007 UR - https://arxiv.org/abs/0712.0948 ID - 0712.0948 ER -