@misc{lira,
	author		= {Bernd Becker and Christian Dax and Jochen Eisinger and Felix Klaedtke},
	title		= {{LIRA}: Handling Constraints of Linear Arithmetics over the Integers and the Reals},
	year		= 2007,
	note		= {accepted for publication},
}