Fixed-point definability and polynomial time (2009)

by M Grohe
Venue:In Computer Science Logic (CSL