Bisimulation quantifiers and uniform interpolation for guarded first order logic
scientific article; zbMATH DE number 6379798
scientific article