TY - RPRT TI - Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version) AU - Christian Drescher AU - Toby Walsh PY - 2013 UR - https://arxiv.org/abs/1308.3923 ID - 1308.3923 ER -