@InProceedings{BeckertHaehnle96,
  author	= {Bernhard Beckert and Reiner H\"ahnle},
  title		= {Deduction by Combining Semantic Tableaux and Integer
		  Programming},
  editor	= {Kleine B\"uning, H.},
  booktitle	= {Annual Conference of the European Association
		  for Computer Science Logic ({CSL} '95)},
  venue         = {Paderborn, Germany},
  series	= {LNCS},
  volume        = {1092},
  pages		= {52--63},
  publisher	= {Springer},
  year		= {1996}
}