A strategy for efficient verification of relational specifications, based on monotonicity analysis. - Marcelo F. Frias; Rodolfo Gamarra; Gabriela Steren; Lorena Bourg (ASE, 2005)

Monotonicity Analysis Can Speed Up Verification. - Marcelo F. Frias; Rodolfo Gamarra; Gabriela Steren; Lorena Bourg (RelMiCS, 2006)