Bisimulations and bisimulation quotients of generalized Veltman models
scientific article