Situated Simplification.

Andreas Podelski, Gert Smolka

Browse the full ICLP paper archive.