The expressive power of fixed-point logic with counting

Otto, Martin

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

In: The journal of symbolic logic
Volume: 61
Page(s)/Article-Nr.: 147-176