1. Avellone, A., Ferrari, M., Fiorentini, C., Fiorino, G., Moscato, U.: Esbc: an application for computing stabilization bounds. ENTCS 153(1), 23–33 (2006)
2. Avellone, A., Fiorino, G., Moscato, U.: A parallel implementation of a decision procedure for propositional intuitionistic logic. In: Mayer, M.C., Pirri, F. (eds.) TABLEAUX, POSITION PAPERS AND TUTORIALS (2003)
3. Avellone, A., Fiorino, G., Moscato, U.: A new O(n lg n)-space decision procedure for propositional intuitionistic logic. In: Baaz, A. V. M., Makowsky, J. (eds.), volume VIII of Kurt Gödel Society, Collegium Logicum, pp. 17–33 (2004)
4. Avellone, A., Fiorino, G., Moscato, U.: A Tableau Decision Procedure for Propositional Intuitionistic Logic. In Proceedings of the 6th International Workshop on the Implementation of Logic, of CEUR Workshop Proceedings, vol. 212, pp. 64–79 (2006)
5. Lecture Notes in Computer Science;A. Avellone,2004