Antonio L. Perrone A Formal Scheme for Avoiding Undecidable Problems - Applications to Chaotic Behaviour, Characterization and Parallel Computation. 9-52 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Perrone93