A theoretical basis for negotiation support systems