Acronyms von A bis Z
LNCS626
-E. Börger et al. (Eds.): Computer Science Logic, Proceedings 1991, Springer-Verlag 1992
-E. Börger et al. (Eds.): Computer Science Logic, Proceedings 1991, Springer-Verlag 1992