Xavier Clerc, Damien Pellier, Humbert Fiorino"Planification multi-agent par cycles de conjecture/réfutation ."echnique et Science Informatiques32,no. 4(2003):129-141.