1. F. Alessi and M. Dezani-Ciancaglini, TLCA list of open problems : Problem 19, http://tlca.di.unito.it/opltlca/problem19.pdf (2002).
2. Alessi F. and Lusin S., Simple easy terms, ITRS ’02, Intersection Types and Related Systems (FLoC Satellite Event).Electron. Notes Theoret. Comput. Sci.70(2003) 1–18.
3. F. Alessi, M. Dezani-Ciancaglini and F. Honsell, Filter models and easy terms, inICTCS ’01 : Proc. of the 7th Italian Conference on Theoretical Computer Science. Springer-Verlag, London, UK (2001) 17–37.
4. Alessi F., Dezani-Ciancaglini M. and Lusin S., Intersection types and domain operators.Theoret. Comput. Sci.316(2004) 25–47.
5. Baeten J.C.M. and Boerboom B., Omega can be anything it should not be.Proc. of Indagationes Mathematicae82(1979) 111–120.