Implementation and Evaluation of LookBack Techniques and Heuristics in DLV ?