Sahli, Siham (2010) Une approche formelle pour la négociation automatique entre agents (application e-commerce). Masters thesis, Université Mohamed Khider Biskra.