@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}
}