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