Alexander Serebrenik Tom Schrijvers Bart Demoen Improving Prolog programs: Refactoring for Prolog. 201-215 2008 8 TPLP 2 http://dx.doi.org/10.1017/S1471068407003134 db/journals/tplp/tplp8.html#SerebrenikSD08