Monotonicity Inference for Higher-Order Formulas | Publicación