"Mark Overmars"@cs .