Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. - Chitta Baral; Cenk Uyan (LPNMR, 2001)