SOFTM: a software maintenance expert system in Prolog. - Louis-François Pau; J. M. Negret (ICSM, 1988)