Unambiguous computations and locally definable acceptance types - Niedermeier, Rolf 19XX-; Rossmanith, Peter (WSI, 1996)
Literaturverz. S. 33 - 35