An Implementation of the Combinatorial Auction Problem in ECLiPSe. - Robert Menke; Rina Dechter (AAAI/IAAI, 2000)