Home›Books›Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)No biography available.Works (1)CSL '89