Tom Tourwé Tom Mens Identifying Refactoring Opportunities Using Logic Meta Programmin. 91-100 2003 conf/csmr/2003 CSMR http://csdl.computer.org/comp/proceedings/csmr/2003/1902/00/19020091abs.htm db/conf/csmr/csmr2003.html#TourweM03