Proving Formulas through Reduction to Decidable Classes. - Mauro Di Manzo; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari (AI*IA, 1993)

NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. - Alessandro Armando; Paolo Pecchiari (ICTAI, 1993)

Composing decision procedures: the approach and a case study. - Mauro Di Manzo; Paolo Pecchiari (AI*IA, 1995)

Structured Proof Procedures. - Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari (Ann. Math. Artif. Intell., 1995)

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. - Fausto Giunchiglia; Paolo Pecchiari; Carolyn L. Talcott (FroCoS, 1996)

Towards provably correct system synthesis and extension. - Fausto Giunchiglia; Paolo Pecchiari; Alessandro Armando (Future Gener. Comput. Syst., 1996)

Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. - Matt Kaufmann; Paolo Pecchiari (J. Autom. Reason., 1996)

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. - Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu (CAV, 1997)

Reasoning Theories. - Fausto Giunchiglia; Paolo Pecchiari; Carolyn L. Talcott (J. Autom. Reason., 2001)