An extension of fixpoint logic with a symmetry-based choice construct
scientific article; zbMATH DE number 1220703