Proceeding on CSL`88 - Borger E Ed.; Workshop on computer science logic (2 : 1988 : Duisburg); Buning H K Ed.; Richter M M Ed. (Berlin Springer-Verlag, 1989)
Keywords: Computer science