| by | ||
|
Cezary Kaliszyk Computational Logic Group University of Innsbruck, Austria |
Geoff Sutcliffe Department of Computer Science University of Miami, USA |
Florian Rabe Department of Computer Science Jacobs University Bremen, Germany |