A Fixed-Point Logic with Symmetric Choice.

Anuj Dawar, David Richerby

Browse the full CSL paper archive.