CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Egon Börger , Michael M. Richter , Hans Kleine Büning