Workshop on computer Science Logic (Kaiserslautern,FRG)Workshop on computer Science Logic Computer science iogic