Software Tools for First-Order Logic. - Jim Cunningham; Silvana Zappacosta-Amboldi (Softw. Pract. Exp., 1983)

Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. - Silvana Zappacosta-Amboldi (FAABS, 2002)

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). - Keith L. Clark; Peter J. Robinson 001; Silvana Zappacosta-Amboldi (CLIMA, 2005)