An algebraic structured model of formal knowledge representations (frames and rules) | Publicación