MUME@AIIDE 2012: Stanford University, Palo Alto, California, USA

maintained by Schloss Dagstuhl LZI at University of Trier