| |
| 1993 | ||
|---|---|---|
| 3 | G. Aguzzi, U. Modigliani: Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. FSTTCS 1993: 114-124 | |
| 2 | G. Aguzzi, U. Modigliani: Termination of Logic Programs via Equivalent Rewrite Systems. ILPS 1993: 634 | |
| 1990 | ||
| 1 | G. Aguzzi, U. Modigliani, M. Cecilia Verri: An Universal Termination Condition for Solving Goals in Equational Languages. CTRS 1990: 418-423 | |
| 1 | U. Modigliani | [1] [2] [3] |
| 2 | M. Cecilia Verri | [1] |