Incorporation of abstraction capability in a logic-based framework by using proximity relations | Publicación