nilsh@kuling.UUCP (10/02/87)
I've recently heard that there has been quite a lot of
work done on Connection Graphs in West Germany the past
few years. I would like to get in touch with people who
has been involved in this, especially from Munchen,
Kaiserslauten and Karlsruhe. My main interest for the
moment is results concerning completeness for the Connec-
tion Graph Proof Procedure of Kowalski. Please contant
me on net-mail or "snail-mail".
Net-Mail: nilsh@kuling.UUCP
Snail-Mail: Nils Hagner
Dept. of Computing Science
Uppsala University
P.O. Box 520
751 20 Uppsala
SWEDEN