Refactoring Prolog Programs (2003)

by T Schrijvers, A Serebrenik, B Demoen