Author: Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)