Publikation
Lutz Schröder; Dirk Pattinson
In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and Programming (ICALP-07), colocated with the 22nd Annual IEEE Symposium on Logic In Computer Science (LICS 2007), Logic Colloquium 2007 (LC07), and the 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007), July 9-13, Wroclaw/Breslau, Poland, Pages 459-471, Lecture Notes in Computer Science (LNCS), Vol. 4596, Springer, 2007.