@InProceedings{	  becker.ea:lira:2007,
  author	= {Bernd Becker and Christian Dax and Jochen Eisinger and
		  Felix Klaedtke},
  booktitle	= {Proc. of the 19th International Conference on Computer
		  Aided Verification (CAV'07)},
  language	= {USenglish},
  pages		= {312--315},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  title		= {{LIRA}: Handling Constraints of Linear Arithmetics over
		  the Integers and the Reals},
  volume	= 4590,
  year		= 2007,
  user		= {felixkl}
}