R. Gennari. Teoremi di Transfer per la Teoria dei Campi Algebrici, Master of Science thesis. U. of Pavia, Jan. 1994.
R. Gennari. Temporal Reasoning and Constraint Programming, Master of Logic thesis. U. of Amsterdam, ILLC MoL series, Tech. Report MoL-1998-01, Sept. 1998.
R. Gennari. Mapping Inferences. Constraints and Diamonds, Ph.D. thesis. U. of Amsterdam, ILLC Dissetation series, Tech. Report DS-2002-05, Dec. 2002.Ask for a paper copy