An Universal Termination Condition for Solving Goals in Equational Languages. - Gianni Aguzzi; U. Modigliani; M. Cecilia Verri (CTRS, 1990)

Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. - Gianni Aguzzi; U. Modigliani (FSTTCS, 1993)

Termination of Logic Programs via Equivalent Rewrite Systems. - Gianni Aguzzi; U. Modigliani (ILPS, 1993)