Conditional narrowing modulo SMT and axioms | Publicación