On the restraining power of guards

Champaign, Ill / Association for Symbolic Logic (1999) [Journal Article]

The journal of symbolic logic
Volume: 64
Page(s): 1719-1742

Authors

Authors

Grädel, Erich

Identifier