N-Prolog and equivalence of logic programs. - Nicola Olivetti; Lea Terracini (J. Log. Lang. Inf., 1992)

A numerical ampleness criterion via Gale duality. - Michele Rossi; Lea Terracini (Appl. Algebra Eng. Commun. Comput., 2017)

On p-adic multidimensional continued fractions. - Nadir Murru; Lea Terracini (Math. Comput., 2019)

Toric varieties and Gröbner bases: the complete $ mathbb {Q}$-factorial case. - Michele Rossi; Lea Terracini (Appl. Algebra Eng. Commun. Comput., 2020)

On the finiteness and periodicity of the p-adic Jacobi-Perron algorithm. - Nadir Murru; Lea Terracini (Math. Comput., 2020)

Hilbert Composition of Multilabelled Events. - Elvio G. Amparore; Susanna Donatelli; Lea Terracini (Petri Nets, 2024)