On the restraining power of guards (1999)

by E Grädel
Venue:J. Symb. Log