G. Aguzzi U. Modigliani Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. 114-124 1993 conf/fsttcs/1993 FSTTCS db/conf/fsttcs/fsttcs93.html#AguzziM93 http://dx.doi.org/10.1007/3-540-57529-4_47