Gustavo A. Ospina Baudouin Le Charlier On the Design of a Tool for Supporting the Construction of Logic Programs. 2001 WLPE http://arxiv.org/abs/cs.PL/0111041 db/conf/lpe/wlpe2001.html#OspinaC01