@INPROCEEDINGS{agotnes:aaai-2007,
  AUTHOR = "Michael Wooldridge and Thomas {\AA}gotnes and Paul E. Dunne and Wiebe van der Hoek",
  TITLE = "Logic for Automated Mechanism Design -- a Progress Report",
  BOOKTITLE = "Proceedings of the Twenty-Second Conference on
                  Artificial Intelligence (AAAI 2007)",
  ADDRESS = "Vancouver, Canada",
  YEAR = 2007,
  MONTH = "July",
  EDITOR = "{AAAI} Press"
}