Hans Jürgen Ohlbach
Univ. of Kaiserslautern, Kaiserslautern, W. Germany
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II