Chrisil Arackaparambil Joshua Brody Amit Chakrabarti Functional Monitoring without Monotonicity. 95-106 2009 ICALP (1) http://dx.doi.org/10.1007/978-3-642-02927-1_10 conf/icalp/2009-1 db/conf/icalp/icalp2009-1.html#ArackaparambilBC09