2010 International Conference on Artificial Intelligence and Computational Intelligence Artificial Intelligence and Computational Intelligence (AICI), 2010 International Conference on. 1:145-151 Oct, 2010
Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science (Math. Structures Comput. Sci.) (20140101), 24, no.~5, e240502, 11~pp. ISSN: 0960-1295 (print).eISSN: 1469-8072.