An Algorithmic Approach to the Semantics of Programming Languages. - Gianni Aguzzi; Renzo Pinzani; Renzo Sprugnoli (ICALP, 1972)

Towards an Automatic Generation of Interpreters. - Gianni Aguzzi; Francesca Cesarini; Renzo Pinzani; Giovanni Soda; Renzo Sprugnoli (GI Jahrestagung, 1973)

Tree structures handling by APS. - Gianni Aguzzi; Francesca Cesarini; Renzo Pinzani; Giovanni Soda; Renzo Sprugnoli (Symposium on Programming, 1974)

The Theory of Invertible Algorithms. - Gianni Aguzzi (RAIRO Theor. Informatics Appl., 1981)

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)