Publikation
Sergey Goncharov; Lutz Schröder; Till Mossakowski
In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of Computer Science (MFCS-2006), August 28 - September 1, Stará Lesná, Slovakia, Pages 447-458, Lecture Notes in Computer Science (LNCS), Vol. 4162, Springer; http://www.springer.de, Berlin, 2006.