Automated generation of a progress measure for the sweep-line method

Karsten Schmidt 0004. Automated generation of a progress measure for the sweep-line method. STTT, 8(3):195-203, 2006. [doi]

Abstract

Abstract is missing.