Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken. - Werner Ebinger (1994)

Logical Definability on Infinite Traces. - Werner Ebinger; Anca Muscholl (Theor. Comput. Sci., 1996)