HORÁK, Aleš. Types in Transparent Intensional Logic and Easel - a Comparison. In
Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004. Anaheim, Calgary, Zurich: The International Association of Science and Technology for Development, 2004, p. 833-837. ISBN 0-88986-404-7.