Borger, E. Ed. Kleine Buning, H. Ed. Richter, M M Ed.
CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988 - Berlin Springer Verlag 1989 - 399 - Lecture notes in computer science ; 00385 .
354051659X
Computer Science Logic
681 LNCS
CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988 - Berlin Springer Verlag 1989 - 399 - Lecture notes in computer science ; 00385 .
354051659X
Computer Science Logic
681 LNCS