@InProceedings{BerezinGaneshDill03,
  author = 	 {Sergey Berezin and Vijay Ganesh and David L. Dill},
  title = 	 {An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic},
  booktitle = 	 {TACAS'03},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {521--536},
  year = 	 {2003},
  editor = 	 {H. Garavel and J. Hatcliff},
  volume = 	 {2619},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {{W}arsaw {P}oland},
  month = 	 apr,
  OPTorganization = {},
  publisher = {Springer Verlag},
  note = 	 {to appear},
  OPTannote = 	 {}
}