=ADD=
=reftype=
14
=number=
97-40
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-50/proceedings.html
=year=
1997
=author=
Bonacina; Maria Paola + Furbach; Ulrich
=title=
FTP97. International Workshop First-Order Theorem Proving. Abstracts.
=month=
10
=abstract=
Abstracts of the workshop held at Schloss Hagenberg, Oct 27 - 28, 1997.
=location=
2
=owner=
2
=source=
3