The group and the minimal polynomial of a graph. - Giovanni Criscuolo; Chung-Mo Kwok; Abbe Mowshowitz; Roberto Tortora (J. Comb. Theory B, 1980)

On Interacting Defaults. - Raymond Reiter; Giovanni Criscuolo (IJCAI, 1981)

A Foundation for Metareasoning Part I: The Proof Theory. - Giovanni Criscuolo; Fausto Giunchiglia; Luciano Serafini (J. Log. Comput., 2002)

A Foundation for Metareasoning Part II: The Model Theory. - Giovanni Criscuolo; Fausto Giunchiglia; Luciano Serafini (J. Log. Comput., 2002)

On finitely recursive programs. - Sabrina Baselice; Piero A. Bonatti; Giovanni Criscuolo (Theory Pract. Log. Program., 2009)