A Note on Linear Resolution Strategies in Consequence-Finding. - Eliana Minicozzi; Raymond Reiter (Artif. Intell., 1972)

Some Natural Properties of Strong-Identification in Inductive Inference. - Eliana Minicozzi (Theor. Comput. Sci., 1976)

Direct Interaction among Active Data Structures: A Tool for Building AI Systems. - F. Abbruzzese; Eliana Minicozzi (AI*IA, 1991)