Constructive Proofs as Programs Executable by PrT Nets. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Trees in Kripke Models and in an Intuitionistic Refutation System. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (CAAP, 1981)

PAP: A Logic Programming System Based on a Constructive Logic. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (Foundations of Logic and Functional Programming, 1986)

Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (TAPSOFT, Vol.1, 1989)

Some Results on Intermediate Constructive Logics. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi; Silvia Quazza; Gabriele Usberti (Notre Dame J. Formal Log., 1989)

A Constructivism Based on Classical Truth. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi; Gabriele Usberti (Notre Dame J. Formal Log., 1989)

Program Specification and Synthesis in Constructive Formal Systems. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (LOPSTR, 1991)

A constructive logic approach to database theory. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (CNKBS, 1992)

An Improved Refutation System for Intuitionistic Predicate Logic. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (J. Autom. Reason., 1994)

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (J. Symb. Comput., 1994)

Refutation Systems for Propositional Modal Logics. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (TABLEAUX, 1995)

Generalized Tableau Systems for Intemediate Propositional Logics. - Alessandro Avellone; Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (TABLEAUX, 1997)

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. - Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (Log. J. IGPL, 1997)

How to Avoid the Formal Verification of a Theorem Prover. - Alessandro Avellone; Marco Benini; Ugo Moscato (Log. J. IGPL, 2001)

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. - Alessandro Avellone; Camillo Fiorentini; Guido Fiorino; Ugo Moscato (CSL, 2004)

ESBC: an application for computing stabilization bounds. - Alessandro Avellone; Mauro Ferrari 002; Camillo Fiorentini; Guido Fiorino; Ugo Moscato (CLASE, 2005)

Improvements to the Tableau Prover PITP. - Alessandro Avellone; Guido Fiorino; Ugo Moscato (TABLEAUX, 2007)

Optimization techniques for propositional intuitionistic logic and their implementation. - Alessandro Avellone; Guido Fiorino; Ugo Moscato (Theor. Comput. Sci., 2008)