@inproceedings{PorelloEndrissKR2010,
  author =        {Daniele Porello and Ulle Endriss},
  title =         {Modelling Combinatorial Auctions in Linear Logic},
  booktitle =     {Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010)},
  month =         {May},
  year =          {2010}
}