Monotonicity inference for higher-order formulas (2010)

by J C Blanchette, A Krauss
Venue:IJCAR 2010, volume 6173 of LNCS