@article{BA:mcInts,
    author      = "Amir M. Ben-Amram",
    title       = "Monotonicity Constraints for Termination in the Integer Domain",
    year        = 2011, 
    volume      = 7,
	number      = 3, 
    journal     ={Logical Methods in Computer Science},
	url         = "http://arxiv.org/abs/1105.6317"
}