"Logics of repeating values on data trees and branching counter systems" (2017) Abriola, S.;Figueira, D.;Figueira, S. (...)Murawski A.S. 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017. 10203 LNCS:196-212