Gyöngyi Szilágyi Tibor Gyimóthy Jan Maluszynski Static and Dynamic Slicing of Constraint Logic Programs. 41-65 2002 9 Autom. Softw. Eng. 1 db/journals/ase/ase9.html#SzilagyiGM02