Text this: Logic-based clustering approach for management and improvement of VANETs.