The Expressive Power of Two-Variable Least Fixed-Point Logics.

Martin Grohe, Stephan Kreutzer, Nicole Schweikardt

Browse the full MFCS paper archive.