Rachid Rebiha, Giovanni Luca Ciampaglia. An Ant Colony Verification Algorithm. In Luiza de Macedo Mourelle, Nadia Nedjah, Janusz Kacprzyk, Ajith Abraham, editors, Seventh International Conference on Intelligent Systems Design and Applications, ISDA 2007, Rio de Janeiro, Brazil, October 20-24, 2007. pages 901-906, IEEE Computer Society, 2007. [doi]