Horn Sentences of Small Size in Identity Theory. - Gabriele Marongiu; Sauro Tulipani (Math. Log. Q., 1986)

Finite Algebraic Specifications of Semicomputable Data Types. - Gabriele Marongiu; Sauro Tulipani (TAPSOFT, Vol.1, 1987)

On a Conjecture of Bergstra and Tucker. - Gabriele Marongiu; Sauro Tulipani (Theor. Comput. Sci., 1989)

Quantifier elimination for infinite terms. - Gabriele Marongiu; Sauro Tulipani (Arch. Math. Log., 1991)

Undecidable Fragments of Term Algebras with Subterm Relation. - Gabriele Marongiu; Sauro Tulipani (Fundam. Informaticae, 1993)