Robert Kowalski, Giorgio Levi, International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy), Hartmut Ehrig