On the restraining power of guards

Grädel, Erich

Champaign, Ill : Association for Symbolic Logic (1999)
Journal Article

In: The journal of symbolic logic
Volume: 64
Page(s)/Article-Nr.: 1719-1742