Marlon Dumas Guido Governatori Arthur H. M. ter Hofstede Phillipa Oaks A formal approach to negotiating agents development. 193-207 2002 1 Electronic Commerce Research and Applications 2 http://dx.doi.org/10.1016/S1567-4223(02)00016-9 db/journals/ecra/ecra1.html#DumasGHO02