@inproceedings{BHRS94,
author = {Bernhard Beckert and Reiner H\"{a}hnle and
Klaus Ries and Peter H. Schmitt},
title = {Tableaubasiertes pr\"{a}dikatenlogisches {B}eweisen mit
{M}ixed integer programming},
booktitle = {Beitr\"{a}ge zum DFG-Kolloquium im Rahmen des
Schwerpunktprogramms ``Deduktion''},
publisher = {TH Darmstadt},
series = {Forschungsbericht AIDA--94--02},
month = mar,
year = 1994
}