Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics A Avellone, M Ferrari, P Miglioli Logic Journal of IGPL 7 (4), 447-480, 1999 | 59 | 1999 |

Duplication-free tableau calculi together with cut-free and contraction free sequent calculi for the interpolable propositional intermediate logics A Avellone, M Ferrari, P Miglioli Logic J. of the IGPL 7 (4), 447-480, 1999 | 21 | 1999 |

Synthesis of programs in abstract data types A Avellone, M Ferrari, P Miglioli International Workshop on Logic Programming Synthesis and Transformation, 81-100, 1998 | 18 | 1998 |

Analysis of algorithms for the recognition of rational and context-free trace languages A Avellone, M Goldwurm RAIRO-Theoretical Informatics and Applications 32 (4-6), 141-152, 1998 | 18 | 1998 |

Optimization techniques for propositional intuitionistic logic and their implementation A Avellone, G Fiorino, U Moscato Theoretical Computer Science 409 (1), 41-58, 2008 | 17 | 2008 |

Generalized tableau systems for intermediate propositional logics A Avellone, U Moscato, P Miglioli, M Ornaghi International Conference on Automated Reasoning with Analytic Tableaux and …, 1997 | 15 | 1997 |

A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato KGS, 2004 | 10 | 2004 |

On maximal intermediate predicate constructive logics A Avellone, C Fiorentini, P Mantovani, P Miglioli Studia Logica 57 (2-3), 373-408, 1996 | 9 | 1996 |

Almost duplication-free tableau calculi for prepositional lax logics A Avellone, M Ferrari International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996 | 7 | 1996 |

A tableau calculus for Dummett predicate logic A Avellone, M Ferrari, P Miglioli, U Moscato Advances in Contemporary Logic and Computer Science, Contemporary …, 1999 | 6 | 1999 |

A formal framework for synthesis and verification of logic programs A Avellone, M Ferrari, C Fiorentini International Workshop on Logic-Based Program Synthesis and Transformation, 1-17, 2000 | 5 | 2000 |

Sudden transition from equilibrium stability to chaotic dynamics in a cautious tātonnement model I Foroni, A Avellone, A Panchuk Chaos, Solitons & Fractals 79, 105-115, 2015 | 3 | 2015 |

A semantical analysis of focusing and contraction in intuitionistic logic A Avellone, C Fiorentini, A Momigliano Fundamenta Informaticae 140 (3-4), 247-262, 2015 | 3 | 2015 |

A tableau decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato 6th International Workshop on the Implementation of Logics, 64, 2006 | 3 | 2006 |

Esbc: an application for computing stabilization bounds A Avellone, M Ferrari, C Fiorentini, G Fiorino, U Moscato Electronic Notes in Theoretical Computer Science 153 (1), 23-33, 2006 | 3 | 2006 |

A space efficient implementation of a tableau calculus for a logic with a constructive negation A Avellone, C Fiorentini, G Fiorino, U Moscato International Workshop on Computer Science Logic, 488-502, 2004 | 3 | 2004 |

How to avoid the formal verification of a theorem prover A Avellone, M Benini, U Moscato Logic journal of IGPL 9 (1), 1-25, 2001 | 3 | 2001 |

An implementation of a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato 3rd International Workshop on the Implementation of Logics, 2002 | 2 | 2002 |

A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic A Avellone, M Ferrari, P Miglioli, U Moscato Theorem Proving with Analytic Tableaux and Related Methods, 1-18, 1998 | 2 | 1998 |

Focusing on contraction A Avellone, C Fiorentini, A Momigliano Italian conference on computational logic (CILC) 1068, 65-81, 2013 | 1 | 2013 |