Situated Simplification

Author: Andreas Podelski and Gert Smolka

Editor: