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