Monotonicity inference for higher-order formulas (0)

by Jasmin Christian Blanchette, Alexander Krauss
Venue:J. Autom. Reason