On logics with two variables

Grädel, Erich; Otto, Martin

Amsterdam [u.a.] : Elsevier (1999)
Fachzeitschriftenartikel

In: Theoretical computer science
Band: 224
Seite(n)/Artikel-Nr.: 73-113