Electronic Notes in Theoretical Computer Science. Volume 256, 2 December 2009, Pages 87-102. Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009)
2007 IEEE International Conference on Systems, Man and Cybernetics Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on. :1687-1692 Oct, 2007