Fixed-Point Logics and Solitaire Games

Dietmar Berwanger, Erich Grädel. Fixed-Point Logics and Solitaire Games. Theory Comput. Syst., 37(6):675-694, 2004. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: