Situated Simplification

Andreas Podelski, Gert Smolka. Situated Simplification. Theoretical Computer Science, 173(1):235-252, 1997. [doi]

Abstract

Abstract is missing.