A formal analysis of interest-based negotiation
scientific article; zbMATH DE number 5636909