Tran Cao Son Chiaki Sakama Negotiation Using Logic Programming with Consistency Restoring Rules. 930-935 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-158.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#SonS09