Acronyms. 2013.
LNCS1092 — H. Kleine Büning (Ed.): Computer Science Logic. Proceedings 1995, Springer Verlag 1996 … Acronyms von A bis Z