=ADD=
=reftype=
14
=number=
00-40
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/00-40.ps.gz
=year=
2000
=month=
06
=author=
Konev; Boris + Jebelean; Tudor
=title=
Combining Level-Saturation Strategies and Meta-Variables for Predicate Logic Proving in Theorema
=abstract=
This is the extended abstract of the presentation at the conference.
=sponsor=
FWF SFB P1302, INTAS 76-960, Land Ober\"osterreich project Prove.
=howpublished=
Presented at IMACS-ACA 2000, St. Petersburg, Russia, June 2000.