CSL'88: 2nd Workshop On Computer Science Logic (Duisburg, FRG, October 3-7, 1988) Proceedings

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