Direct inference with labels using generalized 'modus ponens' | Publicación