Design:
Peter Baumgartner	baumgart@mpi-sb.mpg.de	
Alexander Fuchs		fuchs@cs.uiowa.edu
Cesare Tinelli		tinelli@cs.uiowa.edu

Main Implementation:
Alexander Fuchs		fuchs@cs.uiowa.edu

Additional Implementation:
John Wheeler		wheeer@cs.uiowa.edu
Björn Pelzer		bpelzer@uni-koblenz.de