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