On the power of deterministic transitive closures

Grädel, Erich; McColm, Gregory L.

Amsterdam / Elsevier (1995) [Journal Article]

Information and computation
Volume: 119
Page(s): 129-135

Identifier