TY - RPRT TI - Dynamic Backward Slicing of Rewriting Logic Computations AU - MarĂ­a Alpuente AU - Demis Ballis AU - Javier Espert AU - Daniel Romero PY - 2011 UR - https://arxiv.org/abs/1105.2665 ID - 1105.2665 ER -