Paritosh K. Pandya Weak Chop Inverses and Liveness in Mean-Value Calculus. 148-167 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#Pandya96