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