A semantically sound approach to Pawlak rough sets and covering-based rough sets | Publicación